Institutional Repository
| 一种基于安全状态转移的简并测试集生成方法 | |
| Alternative Title | approach of degenerate test set generation based on secure state transition |
| 程亮; 张阳; 冯登国 | |
| 2010 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 21Issue:3Pages:539-547 |
| English Abstract | 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简. |
| Keyword | 安全操作系统测评 形式化方法 模型检测 测试用例化简 简并测试集security Operating System Verification Formal Method Model Checking Test Case Optimization Degenerate Test Set |
| Department | 中国科学技术大学电子工程与信息科学系;信息安全国家重点实验室(中国科学院软件研究所); |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10058 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 程亮,张阳,冯登国. 一种基于安全状态转移的简并测试集生成方法[J]. 软件学报,2010,21(3):539-547. |
| APA | 程亮,张阳,&冯登国.(2010).一种基于安全状态转移的简并测试集生成方法.软件学报,21(3),539-547. |
| MLA | 程亮,et al."一种基于安全状态转移的简并测试集生成方法".软件学报 21.3(2010):539-547. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 一种基于安全状态转移的简并测试集生成方法（658KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment