| 一种基于安全状态转移的简并测试集生成方法 |
| 其他题名 | approach of degenerate test set generation based on secure state transition
|
| 程亮; 张阳; 冯登国
|
| 2010
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 21期号:3页码:539-547 |
| 摘要 | 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简. |
| 关键词 | 安全操作系统测评
形式化方法
模型检测
测试用例化简
简并测试集security Operating System Verification
Formal Method
Model Checking
Test Case Optimization
Degenerate Test Set
|
| 部门归属 | 中国科学技术大学电子工程与信息科学系;信息安全国家重点实验室(中国科学院软件研究所);
|
| 学科领域 | Computer Science
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10058
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
程亮,张阳,冯登国. 一种基于安全状态转移的简并测试集生成方法[J]. 软件学报,2010,21(3):539-547.
|
| APA |
程亮,张阳,&冯登国.(2010).一种基于安全状态转移的简并测试集生成方法.软件学报,21(3),539-547.
|
| MLA |
程亮,et al."一种基于安全状态转移的简并测试集生成方法".软件学报 21.3(2010):539-547.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论