中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
组合测试用例生成方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-28
赵勇
  |  
 
一种基于事件处理函数的GUI测试方法 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 12, 页码: 2830-2842
陈军成; 薛云志; 赵琛

 
基于故障的布尔表达式测试技术综述 [期刊论文]
计算机科学, 2013-01-01, 卷号: 40, 期号: 3, 页码: 16-23,40
孙昌爱; 程庆顺

 
基于pCTL的循环优化测试用例自动生成方法 [期刊论文]
小型微型计算机系统, 2010-01-01, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭

 
一种基于过程图模型的编译优化测试程序自动生成方法 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 9, 页码: 1567-1577
陶秋铭; 赵琛; 王永吉
  |  
 
组合测试:原理与方法 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1393-1405
严俊; 张健
  |  
 
基于安全策略模型的安全功能测试用例生成方法 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
  |  
 
基于时间自动机的测试用例自动生成及执行方法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟; 陈伟; 赵琛
  |  
 
安全操作系统开发中的形式化技术应用研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
陈坤
  |  
 
基于时序逻辑的并发系统测试用例生成 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace