Subject: Computer Science
Title: 一种基于安全状态转移的简并测试集生成方法
Alternative Title: approach of degenerate test set generation based on secure state transition
Author: 程亮
; 张阳
; 冯登国
Keyword: 安全操作系统测评
; 形式化方法
; 模型检测
; 测试用例化简
; 简并测试集security operating system verification
; formal method
; model checking
; test case optimization
; degenerate test set
Source: 软件学报
Issued Date: 2010
Volume: 21, Issue: 3, Pages: 539-547 Department: 中国科学技术大学电子工程与信息科学系;信息安全国家重点实验室(中国科学院软件研究所);
Abstract: 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简. Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/10058
Appears in Collections: 信息安全国家重点实验室_期刊论文
File Name/ File Size
Content Type
Version
Access
License
一种基于安全状态转移的简并测试集生成方法.pdf （658KB） -- -- 限制开放 -- 联系获取全文
Recommended Citation:
程亮,张阳,冯登国. 一种基于安全状态转移的简并测试集生成方法[J]. 软件学报,2010-01-01,21(3):539-547.
