| 专利名称 | 一种测试用例集生成方法 | 申请号 | CN201010116844.4 | 专利类型 | 发明专利 | 公开（公告）号 | CN102193858A | 公开（授权）日 | 2011.09.21 | 申请（专利权）人 | 中国科学院软件研究所 | 发明（设计）人 | 程亮;张阳;冯登国 | 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I | 专利有效期 | 一种测试用例集生成方法 至一种测试用例集生成方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明公开了一种测试用例集生成方法，属于操作系统安全技术领域。本方法为：1)从测试需求集SP中取出一安全属性p，取反后输入模型检测器生成该安全属性p的测试序列Tp；2)提取Tp中所有的状态迁移，并与测试需求集中所有已存在的状态迁移进行对比，将状态迁移相同部分记录到集合EI中；3)删除Knownedges或Tp中与集合EI中相同部分的状态迁移；4)对测试需求集SP中所有属性，重复步骤1)～3)，生成简并测试序列集；5)将生成的测试序列集实例化，得到测试用例集。与现有技术相比，本发明能更为有效、直接地缩小测试集的大小。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障