您的位置： 专家智库 > >

国家自然科学基金(61202080)

作品数：8 被引量：22H指数：3
相关作者：王雅文宫云战邢颖金大海肖庆更多>>
相关机构：北京邮电大学中国科学院辽宁工程技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 10个自动化与计算...
  • 4个电子电信
  • 3个自然科学总论
  • 2个机械工程
  • 2个一般工业技术
  • 2个军事
  • 2个兵器科学与技...
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个文化科学
  • 1个理学

主题

  • 8个控制流
  • 7个软件测试
  • 6个代码
  • 6个语法树
  • 5个迭代
  • 5个语句
  • 5个预设
  • 4个等式约束
  • 4个调用函数
  • 4个多线程
  • 4个信息更新
  • 4个信息库
  • 4个用户
  • 4个语法
  • 4个语言
  • 3个代码检测
  • 3个等价
  • 3个等价变换
  • 3个点集
  • 3个迭代计算

机构

  • 10个北京邮电大学
  • 2个桂林电子科技...
  • 2个中国科学院
  • 2个装甲兵工程学...
  • 1个辽宁工程技术...
  • 1个中国联通

资助

  • 10个国家高技术研...
  • 10个国家自然科学...
  • 4个中国博士后科...
  • 3个国家重点实验...
  • 3个中央高校基本...
  • 1个国防科技技术...
  • 1个国家重点基础...
  • 1个中央级公益性...
  • 1个军队科研计划...
  • 1个中国人民解放...
  • 1个中国人民解放...
  • 1个总装备部“十...

传媒

  • 9个软件学报
  • 7个北京邮电大学...
  • 7个中国科学：信...
  • 5个计算机研究与...
  • 5个计算机辅助设...
  • 5个软件
  • 4个电子学报
  • 4个计算机学报
  • 4个计算机工程
  • 4个计算机测量与...
  • 4个信息通信技术
  • 3个内蒙古大学学...
  • 3个清华大学学报...
  • 3个北京化工大学...
  • 3个第六届中国测...
  • 2个中国铁路
  • 2个东南大学学报...
  • 2个小型微型计算...
  • 2个计算机工程与...
  • 2个测试技术学报

地区

  • 9个北京市
  • 1个广东省
共 10 条 记 录，以下是 1-10
王雅文
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 测试用例 语句
发表作品相关人物供职机构所获资助研究领域
宫云战
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
发表作品相关人物供职机构所获资助研究领域
金大海
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 控制流图 状态机
发表作品相关人物供职机构所获资助研究领域
邢颖
供职机构：北京邮电大学
研究主题：测试用例 软件测试 分类器 项目数据 人工智能
发表作品相关人物供职机构所获资助研究领域
张大林
供职机构：北京邮电大学
研究主题：控制流 状态机 抽象语法树 符号化 信息库
发表作品相关人物供职机构所获资助研究领域
王前
供职机构：北京邮电大学
研究主题：数据流分析 控制流 别名分析 别名 分析技术
发表作品相关人物供职机构所获资助研究领域
肖庆
供职机构：装甲兵工程学院
研究主题：软件测试 控制流 抽象语法树 状态机 软件静态测试
发表作品相关人物供职机构所获资助研究领域
张海龙
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：切片 警报 踪迹
发表作品相关人物供职机构所获资助研究领域
杨学红
供职机构：中国联通
研究主题：BPEL 业务流程执行语言 BPEL流程 WEB服务组合 CMMI
发表作品相关人物供职机构所获资助研究领域
闫鑫
供职机构：北京邮电大学
研究主题：控制流图 软件测试
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0