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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
一种基于事件处理函数的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
张敏; 冯登国; 陈驰
  |  
 
安全操作系统开发中的形式化技术应用研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
陈坤
  |  
 
基于时序逻辑的并发系统测试用例生成 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
一种基于时间自动机的实时系统测试方法 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树
  |  
 

1

 

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