您的位置： 专家智库 > >

金大海

作品数：129 被引量：82H指数：6
供职机构：北京邮电大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金中国博士后科学基金更多>>
相关领域：自动化与计算机技术自然科学总论电子电信更多>>

合作作者

领域

  • 50个自动化与计算...
  • 19个电子电信
  • 9个经济管理
  • 7个文化科学
  • 7个自然科学总论
  • 4个机械工程
  • 4个理学
  • 3个交通运输工程
  • 3个一般工业技术
  • 3个军事
  • 3个兵器科学与技...
  • 2个航空宇航科学...
  • 2个医药卫生
  • 2个政治法律
  • 1个哲学宗教
  • 1个动力工程及工...
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程

主题

  • 34个软件测试
  • 32个控制流
  • 20个代码
  • 20个语法树
  • 20个抽象语法
  • 20个抽象语法树
  • 18个网络
  • 17个语句
  • 17个状态机
  • 16个流图
  • 16个控制流图
  • 15个软件开发
  • 15个测试用例
  • 14个数据流
  • 14个通信
  • 14个内存
  • 13个源代码
  • 13个函数
  • 12个用户
  • 11个自动化

机构

  • 52个北京邮电大学
  • 3个桂林电子科技...
  • 3个中国科学院
  • 3个装甲兵工程学...
  • 1个哈尔滨理工大...
  • 1个黑龙江八一农...
  • 1个河南科技大学
  • 1个解放军信息工...
  • 1个辽宁工程技术...
  • 1个山东大学
  • 1个上海交通大学
  • 1个上海海事大学
  • 1个西北师范大学
  • 1个中国电子科技...
  • 1个中国石油大学...
  • 1个中国工程院
  • 1个中国软件评测...
  • 1个中国联通
  • 1个南方通信(惠...

资助

  • 35个国家高技术研...
  • 26个国家自然科学...
  • 7个中国博士后科...
  • 6个中央高校基本...
  • 4个国家重点基础...
  • 4个国家重点实验...
  • 2个高等学校骨干...
  • 2个国家科技重大...
  • 2个国家教育部博...
  • 1个北京市科技新...
  • 1个国防科技技术...
  • 1个国家科技攻关...
  • 1个国家科技支撑...
  • 1个山东省优秀中...
  • 1个山东省自然科...
  • 1个中央级公益性...
  • 1个军队科研计划...
  • 1个“新一代宽带...
  • 1个北京市共建项...
  • 1个北京市教委产...

传媒

  • 15个计算机研究与...
  • 13个北京邮电大学...
  • 12个软件学报
  • 10个软件
  • 9个第十四届全国...
  • 8个电子学报
  • 8个计算机学报
  • 8个中国科学：信...
  • 7个清华大学学报...
  • 7个计算机工程
  • 7个第六届中国测...
  • 6个计算机辅助设...
  • 6个计算机工程与...
  • 5个计算机应用研...
  • 5个计算机工程与...
  • 5个北京化工大学...
  • 5个计算机科学
  • 5个信息通信技术
  • 5个第三届全国软...
  • 4个计算机测量与...

地区

  • 50个北京市
  • 1个山东省
  • 1个广东省
共 52 条 记 录，以下是 1-10
宫云战
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
发表作品相关人物供职机构所获资助研究领域
王雅文
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 测试用例 语句
发表作品相关人物供职机构所获资助研究领域
黄俊飞
供职机构：北京邮电大学
研究主题：控制流 抽象语法树 测试用例 软件测试 语句
发表作品相关人物供职机构所获资助研究领域
肖庆
供职机构：装甲兵工程学院
研究主题：软件测试 控制流 抽象语法树 状态机 软件静态测试
发表作品相关人物供职机构所获资助研究领域
杨朝红
供职机构：装甲兵工程学院
研究主题：软件测试 控制流 抽象语法树 状态机 多线程
发表作品相关人物供职机构所获资助研究领域
张大林
供职机构：北京邮电大学
研究主题：控制流 状态机 抽象语法树 符号化 信息库
发表作品相关人物供职机构所获资助研究领域
赵云山
供职机构：北京邮电大学
研究主题：控制流 误报 语句 程序控制 别名分析
发表作品相关人物供职机构所获资助研究领域
董玉坤
供职机构：中国石油大学（华东）
研究主题：内存模型 数据流分析 C程序 抽象语法树 软件测试
发表作品相关人物供职机构所获资助研究领域
王前
供职机构：北京邮电大学
研究主题：数据流分析 控制流 别名分析 别名 分析技术
发表作品相关人物供职机构所获资助研究领域
李峰
供职机构：北京邮电大学
研究主题：语句 测试用例 边界值 函数调用 函数
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共6页<123456>
聚类工具0