[发明专利]一种基于符号执行的带反馈测试用例生成方法有效
| 申请号： | 201210219282.5 | 申请日： | 2012-06-29 |
| 公开（公告）号： | CN102736979A | 公开（公告）日： | 2012-10-17 |
| 发明（设计）人： | 顾庆;庄元;汤九斌;陈道蓄 | 申请（专利权）人： | 南京大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 江苏圣典律师事务所 32237 | 代理人： | 贺翔 |
| 地址： | 210000 江苏省南*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于符号执行的带反馈测试用例生成方法，其步骤为：（1）执行已有的测试用例并收集测试用例覆盖信息；（2）根据被测程序的控制流图确定符号执行的覆盖目标；（3）对被测试程序插桩，植入符号执行的控制代码；（4）从已有测试用例集中选择合适的种子测试用例；（5）针对覆盖目标应用符号执行方法生成新的测试用例，新生成的测试用例补充入测试用例集；（6）重复上述步骤，直至达到给定的测试用例生成目标。本发明可广泛应用于软件开发过程中的自动化测试，自动化生成测试用例，避免单纯符号执行的约束条件爆炸问题，提高效率；同时能够结合其他生成方法，缓解符号执行方法不能处理复杂数据结构的问题。 | ||
| 搜索关键词： | 一种 基于 符号 执行 反馈 测试 生成 方法 | ||
【主权项】：
一种基于符号执行的带反馈测试用例生成方法，其特征在于包括以下步骤：1）执行已有的测试用例并收集测试用例覆盖信息；确定每个测试用例在执行时覆盖的被测程序中的语句块；汇总所有测试用例所覆盖的语句块，确定被测程序中尚未覆盖的语句块集合；2）根据被测程序的控制流图确定符号执行的覆盖目标；覆盖目标是被测程序中尚未覆盖的某个语句块；3）对被测程序插桩，植入引导符号执行的控制代码；控制代码包括标记语句和判定语句；4）从已有测试用例集中选择合适的种子测试用例，用于启动符号执行方法；5）针对覆盖目标应用符号执行方法生成新的测试用例；将新生成的多个测试用例补充到已有的测试用例集合中；6）上述5个步骤迭代执行，直至达到给定的测试用例生成目标。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京大学，未经南京大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210219282.5/，转载请声明来源钻瓜专利网。
