您的位置： 专家智库 > >

国家自然科学基金(61003027)

作品数：2 被引量：9H指数：1
相关作者：张震宇张云乾郑征张文博季晓慧更多>>
相关机构：中国科学院软件研究所中国地质大学北京航空航天大学更多>>
发文基金：国家自然科学基金安徽省自然科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 9个自动化与计算...
  • 3个经济管理
  • 3个自然科学总论
  • 2个电子电信
  • 2个理学
  • 1个电气工程
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个核科学技术
  • 1个一般工业技术
  • 1个社会学
  • 1个文化科学

主题

  • 6个软件测试
  • 6个数据流
  • 6个测试用例
  • 5个断言
  • 5个排序
  • 5个切片
  • 5个切片技术
  • 4个正则
  • 4个正则表达式
  • 4个数据流分类
  • 2个代码
  • 2个调度
  • 2个调度模型
  • 2个调整方法
  • 2个队列
  • 2个信息管理
  • 2个信息管理系统
  • 2个性能分析
  • 2个选集
  • 2个训练集

机构

  • 6个中国科学院软...
  • 4个中国科学技术...
  • 2个北京航空航天...
  • 2个中国地质大学
  • 1个中国科学院研...
  • 1个安徽省计算与...

资助

  • 9个国家自然科学...
  • 7个国家科技重大...
  • 5个安徽省自然科...
  • 2个国家重点基础...
  • 1个北京市自然科...
  • 1个国家高技术研...
  • 1个国家科技支撑...
  • 1个江苏省自然科...
  • 1个中国博士后科...
  • 1个广西壮族自治...
  • 1个广西壮族自治...
  • 1个中央级公益性...
  • 1个广西高校优秀...
  • 1个广西教育厅科...
  • 1个广西研究生教...
  • 1个国家教育部博...
  • 1个南宁市科学研...
  • 1个软件工程国家...
  • 1个香港特区政府...
  • 1个中国航空科学...

传媒

  • 6个小型微型计算...
  • 5个计算机学报
  • 4个计算机应用与...
  • 4个计算机科学与...
  • 4个2012中国...
  • 3个计算机科学
  • 2个电子技术（上...
  • 2个软件学报
  • 2个计算机系统应...
  • 1个系统工程与电...
  • 1个工程热物理学...
  • 1个电脑开发与应...
  • 1个系统工程理论...
  • 1个物理学报
  • 1个中国科学技术...
  • 1个计算机研究与...
  • 1个电子学报
  • 1个南京大学学报...
  • 1个电力系统自动...
  • 1个华中科技大学...

地区

  • 4个安徽省
  • 4个北京市
  • 1个湖北省
共 9 条 记 录，以下是 1-9
张震宇
供职机构：中国科学院软件研究所
研究主题：软件测试 测试用例 排序 谓词 测试用例集
发表作品相关人物供职机构所获资助研究领域
董齐兴
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：断言 软件测试 数据流分类 正则表达式 程序不变量
发表作品相关人物供职机构所获资助研究领域
张辉
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：TTCN-3 自由电子激光 C++ 火灾 语言转换
发表作品相关人物供职机构所获资助研究领域
张云乾
供职机构：中国科学院软件研究所
研究主题：马尔可夫模型 测试用例 图形交互界面 数据库模块 选集
发表作品相关人物供职机构所获资助研究领域
郑征
供职机构：北京航空航天大学
研究主题：测试用例 无人机 谓词 航路 排序
发表作品相关人物供职机构所获资助研究领域
张文博
供职机构：中国科学院软件研究所
研究主题：云计算 虚拟化 中间件 WEB应用 WEB应用服务器
发表作品相关人物供职机构所获资助研究领域
曾凡平
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
发表作品相关人物供职机构所获资助研究领域
邓超强
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：程序不变量 断言 测试用例 测试用例集 合约
发表作品相关人物供职机构所获资助研究领域
季晓慧
供职机构：中国地质大学
研究主题：马尔可夫模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0