[发明专利]生成测试用例的方法有效
| 申请号： | 201410273982.1 | 申请日： | 2014-06-19 |
| 公开（公告）号： | CN104090837B | 公开（公告）日： | 2018-02-09 |
| 发明（设计）人： | 陆公正 | 申请（专利权）人： | 苏州市职业大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 苏州铭浩知识产权代理事务所(普通合伙)32246 | 代理人： | 刘艳春 |
| 地址： | 215104 江苏省苏州市吴中*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出了生成测试用例的方法，包括a、根据测试覆盖准则，列出测试目标以形成测试目标集；b、将所述测试目标集中各测试目标表示成陷阱性质；c、将各陷阱性质与具体模型进行合取转换成CNF公式；d、计算CNF公式的难度；e、根据CNF公式的难度对各测试目标进行排序；f、判断所述测试目标集是否为空；g、当所述测试目标集不为空时，则选取一测试目标，并从所述测试目标集中删除所选取的测试目标；h、根据所选取的测试目标生成测试用例以形成第一测试用例集；i、基于SAT对所述第一测试用例集进行约简以获取第二测试用例集。本发明所提出的测试用例生成的方法，至少具有约简效果好、效率高。 | ||
| 搜索关键词： | 生成 测试 方法 | ||
【主权项】：
一种生成测试用例的方法，其特征在于，包括：a、根据测试覆盖准则，列出测试目标以形成测试目标集；b、将所述测试目标集中各测试目标表示成陷阱性质；c、将各陷阱性质与具体模型进行合取转换成CNF公式，F＝C1∧…∧Cm，其中C1，…，Cm称为子句，每个子句称为文字，每个文字lj(1≤j≤ni)是布尔变量的肯定或者否定的形式；d、计算CNF公式的难度，当设CNF公式中子句数为m，第i个子句中的文字数为ni，则CNF公式的难度h:e、根据CNF公式的难度对各测试目标进行排序；f、判断所述测试目标集是否为空；g、当所述测试目标集不为空时，则选取一测试目标，并从所述测试目标集中删除所选取的测试目标；h、根据所选取的测试目标生成测试用例以形成第一测试用例集；i、基于SAT对所述第一测试用例集进行约简以获取第二测试用例集；步骤e中，根据CNF公式的难度进行升序排列，相应地，步骤g中，依序选取测试目标。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于苏州市职业大学，未经苏州市职业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410273982.1/，转载请声明来源钻瓜专利网。
