已选(0)清除
条数/页: 排序方式:
|
| 嵌入式C编译器自动测试平台的研究与设计 学位论文 2011, 2010 陈国梁
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2016/02/14
|
| 基于pCTL的循环优化测试用例自动生成方法 期刊论文 小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:20/0  |  提交时间:2011/05/23
|
| 一种基于内部类的断言测试框架研究与实现 学位论文 硕士, 遥感卫星地面站: 中国科学院遥感卫星地面站, 2009 屈国栋
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:12/0  |  提交时间:2014/12/08
|
| 一种基于过程图模型的编译优化测试程序自动生成方法 期刊论文 计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577 陶秋铭; 赵琛; 王永吉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2010/08/17
|
| 一种编译优化测试用例自动生成方法的设计与实现 期刊论文 小型微型计算机系统, 2009, 卷号: 30, 期号: 1, 页码: 13-18 曾伟明; 薛云志; 赵琛; 贺也平
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2010/08/23
|
| 基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008 曾伟明
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:10/0  |  提交时间:2011/03/17
|
| 基于时序逻辑的编译优化测试用例生成方法 期刊论文 计算机应用研究, 2007, 卷号: 24, 期号: 7, 页码: 46-48 夏勇; 薛云志; 赵琛
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2010/08/25
|