公开(公告)号：CN108595341B

公开(公告)日：2019-11-22

申请号：CN201810451163.X

申请日：2018-05-11

申请人： 清华大学

发明人： 姜宇 ,  杨镒箫 ,  任谦 ,  李天池 ,  顾明 ,  孙家广

IPC分类号： G06F11/36

摘要： 本发明实施例提供了测试用例自动生成方法及系统，方法包括：基于符号执行生成测试用例种子，并基于启发式搜索对测试用例种子进行变异，得到第一变异测试用例；分别执行测试用例种子与第一变异测试用例，分别获取对应的执行路径信息，并确定变异的影响结果；根据影响结果，对测试用例种子或第一变异测试用例进行下一次变异，重复执行上述过程，直至满足预设条件。不需要人工参与，自动化程度很高。符号执行与启发式搜索进行结合，提高了整个方法的运行效率，而且采用反馈机制，通过变异的影响结果指导测试用例种子或第一变异测试用例进行下一次变异，这种方法不仅有利于短函数序列的测试用例的生成，对于长函数序列的测试用例的生成也同样适用。

公开(公告)号：CN108595341A

公开(公告)日：2018-09-28

申请号：CN201810451163.X

申请日：2018-05-11

申请人： 清华大学

发明人： 姜宇 ,  杨镒箫 ,  任谦 ,  李天池 ,  顾明 ,  孙家广

IPC分类号： G06F11/36

摘要： 本发明实施例提供了测试用例自动生成方法及系统，方法包括：基于符号执行生成测试用例种子，并基于启发式搜索对测试用例种子进行变异，得到第一变异测试用例；分别执行测试用例种子与第一变异测试用例，分别获取对应的执行路径信息，并确定变异的影响结果；根据影响结果，对测试用例种子或第一变异测试用例进行下一次变异，重复执行上述过程，直至满足预设条件。不需要人工参与，自动化程度很高。符号执行与启发式搜索进行结合，提高了整个方法的运行效率，而且采用反馈机制，通过变异的影响结果指导测试用例种子或第一变异测试用例进行下一次变异，这种方法不仅有利于短函数序列的测试用例的生成，对于长函数序列的测试用例的生成也同样适用。