一种测试用例集生成方法

摘要

本发明公开了一种测试用例集生成方法，属于操作系统安全技术领域。本方法为：1)从测试需求集SP中取出一安全属性p，取反后输入模型检测器生成该安全属性p的测试序列Tp；2)提取Tp中所有的状态迁移，并与测试需求集中所有已存在的状态迁移进行对比，将状态迁移相同部分记录到集合EI中；3)删除Knownedges或Tp中与集合EI中相同部分的状态迁移；4)对测试需求集SP中所有属性，重复步骤1)～3)，生成简并测试序列集；5)将生成的测试序列集实例化，得到测试用例集。与现有技术相比，本发明能更为有效、直接地缩小测试集的大小。

主权项

1.一种测试用例集生成方法，其步骤为:1)从测试需求集SP中取出一安全需求p，取反后输入模型检测器生成该安全需求p的测试序列T_p;2)提取测试序列T_p中所有的状态迁移，并与测试需求集中所有已存在的状态迁移进行对比，将状态迁移相同部分记录到集合E_I中;3)删除Knownedges或T_p中的与集合E_I中相同部分的状态迁移;其中，Knownedges为测试需求集中已经存在的状态迁移集合；4)对测试需求集SP中所有需求，重复步骤1)～3)，生成简并测试序列集;5)将生成的测试序列集实例化，得到测试用例集;其中，通过定义一函数即测试序列T中包含的所有不带标签的状态迁移，计算交集E_I=EDGE(T_p)∩Knownedges，得到状态迁移相同部分的集合。