|
软件学报 2010
一种基于安全状态转移的简并测试集生成方法, PP. 539-547 Keywords: 安全操作系统测评,形式化方法,模型检测,测试用例化简,简并测试集 Abstract: 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degeneratetestset,简称dts)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对dts生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.
|