[发明专利]一种生成测试用例的方法及装置无效
申请号: | 201210228222.X | 申请日: | 2012-07-04 |
公开(公告)号: | CN102799525A | 公开(公告)日: | 2012-11-28 |
发明(设计)人: | 曾凡平;袁园;邓超强;武飞;熊能;董齐兴 | 申请(专利权)人: | 中国科学技术大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京维澳专利代理有限公司 11252 | 代理人: | 马佑平 |
地址: | 230026*** | 国省代码: | 安徽;34 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 一种生成测试用例的方法,该方法包括:随机生成一个测试用例;判断所述测试用例是否违反与测试用例集合的似然不变量集合相对应的断言;当所述测试用例违反断言时,将所述测试用例添加到测试用例集合中,并进行不变量提取,以生成添加了所述测试用例的测试用例集合的似然不变量集合并将其转化为相应的断言。本发明的方法仅当所述测试用例违反所述断言时,即为有效测试用例时,才进行不变量的提取,这样,减少了无效测试用例的不变量提取的步骤,大大降低时间开销,提高了测试用例集合生成的效率。 | ||
搜索关键词: | 一种 生成 测试 方法 装置 | ||
【主权项】:
一种生成测试用例的方法,其特征在于,该方法包括:S1,随机生成一个测试用例;S2,判断所述测试用例是否违反与测试用例集合的似然不变量集合相对应的断言;S3,当所述测试用例违反断言时,将所述测试用例添加到测试用例集合中,并进行不变量提取,以生成添加了所述测试用例的测试用例集合的似然不变量集合并将其转化为相应的断言。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学技术大学,未经中国科学技术大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201210228222.X/,转载请声明来源钻瓜专利网。