中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共8条,第1-8条 帮助

条数/页: 排序方式:
基于UML活动图的业务流程测试研究 学位论文  OAI收割
中国科学院新疆理化技术研究所: 中国科学院研究生院, 2009
作者:  
贾松涛
  |  收藏  |  浏览/下载:18/0  |  提交时间:2014/10/14
基于安全策略模型的安全功能测试用例生成方法 期刊论文  OAI收割
计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
  |  收藏  |  浏览/下载:16/0  |  提交时间:2010/05/27
一种基于过程图模型的编译优化测试程序自动生成方法 期刊论文  OAI收割
计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577
陶秋铭; 赵琛; 王永吉
  |  收藏  |  浏览/下载:23/0  |  提交时间:2010/08/17
基于时间自动机的测试用例自动生成及执行方法 期刊论文  OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟; 陈伟; 赵琛
  |  收藏  |  浏览/下载:14/0  |  提交时间:2010/08/25
一种基于时间自动机的实时系统测试方法 期刊论文  OAI收割
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树
  |  收藏  |  浏览/下载:14/0  |  提交时间:2010/07/05
一种基于Messy GA的结构测试数据自动生成方法 期刊论文  OAI收割
软件学报, 2006, 卷号: 17, 期号: 8, 页码: 1688-1697
薛云志; 陈伟; 王永吉; 赵琛; 王青
  |  收藏  |  浏览/下载:7/0  |  提交时间:2010/08/17
一种用于测试编译优化的程序控制结构生成算法 期刊论文  OAI收割
计算机应用研究, 2006, 卷号: 23, 期号: 6, 页码: 55-58
朱丹枫; 赵琛; 陈伟
  |  收藏  |  浏览/下载:7/0  |  提交时间:2010/08/25
寄存器传输级测试用例生成算法 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 9
作者:  
沈理;  高燕
  |  收藏  |  浏览/下载:14/0  |  提交时间:2010/11/24