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