| 一种基于安全状态转移的简并测试集生成方法 |
| |
| 引用本文： | 程亮,张阳,冯登国. 一种基于安全状态转移的简并测试集生成方法[J]. 软件学报, 2010, 21(3): 539-547. DOI: 10.3724/SP.J.1001.2010.03429 |
| |
| 作者姓名： | 程亮 张阳 冯登国 |
| |
| 作者单位： | 1. 中国科学技术大学,电子工程与信息科学系,安徽,合肥,230027;信息安全国家重点实验室,中国科学院,软件研究所,北京,100190
2. 信息安全国家重点实验室,中国科学院,软件研究所,北京,100190 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60970028 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA01Z465, 2007AA01Z414 (国家高技术研究发展计划(863)) |
| |
| 摘 要： | 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS 生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.
|
| 关 键 词： | 安全操作系统测评 形式化方法 模型检测 测试用例化简 简并测试集 |
| 收稿时间： | 2007-12-06 |
| 修稿时间： | 2008-05-06 |
Approach of Degenerate Test Set Generation Based on Secure State Transition |
| |
| CHENG Liang,ZHANG Yang and FENG Deng-Guo. Approach of Degenerate Test Set Generation Based on Secure State Transition[J]. Journal of Software, 2010, 21(3): 539-547. DOI: 10.3724/SP.J.1001.2010.03429 |
| |
| Authors: | CHENG Liang ZHANG Yang FENG Deng-Guo |
| |
| Affiliation: | CHENG Liang1,2,ZHANG Yang2,FENG Deng-Guo2 1(Department of Electronic Engineering , Information Science,University of Science , Technology of China,Hefei 230027,China) 2(State Key Laboratory of Information Security(Institute of Software,The Chinese Academy of Sciences),Beijing 100190,China) |
| |
| Abstract: | Based on predecessors' work,this propose the concept of degenerate test set(DTS) and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system.This approach is secure state transition-based for the first time and can generate an efficient test set by reducing the redundant system state transitions and similar properties with model checkers in the test case generation.Furthermore,it discusses the validity of the... |
| |
| Keywords: | security operating system verification formal method model checking test case optimization degenerate test set |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
