[发明专利]一种测试用例集生成方法有效
| 申请号： | 201010116844.4 | 申请日： | 2010-03-02 |
| 公开（公告）号： | CN102193858A | 公开（公告）日： | 2011-09-21 |
| 发明（设计）人： | 程亮;张阳;冯登国 | 申请（专利权）人： | 中国科学院软件研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京君尚知识产权代理事务所(普通合伙) 11200 | 代理人： | 冯艺东 |
| 地址： | 100190 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种测试用例集生成方法，属于操作系统安全技术领域。本方法为：1)从测试需求集SP中取出一安全属性p，取反后输入模型检测器生成该安全属性p的测试序列Tp；2)提取Tp中所有的状态迁移，并与测试需求集中所有已存在的状态迁移进行对比，将状态迁移相同部分记录到集合EI中；3)删除Knownedges或Tp中与集合EI中相同部分的状态迁移；4)对测试需求集SP中所有属性，重复步骤1)～3)，生成简并测试序列集；5)将生成的测试序列集实例化，得到测试用例集。与现有技术相比，本发明能更为有效、直接地缩小测试集的大小。 | ||
| 搜索关键词： | 一种 测试 用例集 生成 方法 | ||
【主权项】：
一种测试用例集生成方法，其步骤为：1)从测试需求集SP中取出一安全属性p，取反后输入模型检测器生成该安全属性p的测试序列Tp；2)提取测试序列Tp中所有的状态迁移，并与测试需求集中所有已存在的状态迁移进行对比，将状态迁移相同部分记录到集合EI中；3)删除Knownedges或Tp中的与集合EI中相同部分的状态迁移；其中，Knownedges为测试需求集中已经存在的状态迁移集合；4)对测试需求集SP中所有属性，重复步骤1)～3)，生成简并测试序列集；5)将生成的测试序列集实例化，得到测试用例集。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院软件研究所，未经中国科学院软件研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010116844.4/，转载请声明来源钻瓜专利网。
- 上一篇：基于本体的知识地图绘制系统
- 下一篇：基于物联网的物品管理方法及系统
