QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于pCTL的循环优化测试用例自动生成方法 期刊论文 小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭 收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23 pCTL  循环优化  测试用例生成  覆盖率pCTL  loop optimization  test case generation  coverage test   an automatic testing approach for compiler based on metamorphic testing technique 会议论文 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850 Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/31 Automation  Errors  Fault detection  Program compilers  Semantics  Software design  Testing   基于形式描述的编译优化自动测试方法与技术研究 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 - 收藏  |  浏览/下载：15/0  |  提交时间：2009/06/12 编译优化，测试自动化，形式描述，测试程序，测试生成，测试执行   一种基于过程图模型的编译优化测试程序自动生成方法 期刊论文 计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577 陶秋铭; 赵琛; 王永吉 收藏  |  浏览/下载：11/0  |  提交时间：2010/08/17 测试自动化  编译器测试  测试用例生成  高级编译优化  数据依赖  过程图  test automation  compiler testing  test case generation  advanced compiler optimizations  data dependence  process graph   一种编译优化测试用例自动生成方法的设计与实现 期刊论文 小型微型计算机系统, 2009, 卷号: 30, 期号: 1, 页码: 13-18 曾伟明; 薛云志; 赵琛; 贺也平 收藏  |  浏览/下载：8/0  |  提交时间：2010/08/23 编译器测试  覆盖率  编译优化  时序逻辑  测试用例 compiler test  coverage test  compiler optimization  temporal logic  test case   automated test program generation for an industrial optimizing compiler 会议论文 4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19, Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui 收藏  |  浏览/下载：8/0  |  提交时间：2011/03/20 Chinese Academy of Sciences  Institute of Software  Matsushita Electric Industrial Co., Ltd  automated test program generation  industrial optimizing compiler  script-driven test program generation process  temporal-logic model  automatic programming  optimising compilers  program testing  temporal logic   基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008 曾伟明 收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17 编译器测试  编译优化  时序逻辑  测试用例  覆盖率