互补策略的简化测试用例集方法研究

为了对测试用例集进行有效化简,提出了一种考虑测试用例间互补关系的测试用例集简化算法CH.该算法通过挑选所有的必不可少测试用例、剔除1-1冗余测试用例、选择能够最大程度满足未被满足的测试需求的测试用例、应用考虑元素间互补关系的双组合选入机制,寻找优化代表集.实例研究表明,在一些测试条件下该算法优于现有的几种测试用例集简化算法.利用该算法,可以得到更精简的测试用例集.

一种基于安全状态转移的简并测试集生成方法

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