公开(公告)号：CN102508770B

公开(公告)日：2015-02-11

申请号：CN201110306943.3

申请日：2011-10-10

Applicant: 南京大学

Inventor： 陈振宇 ,  房春荣 ,  杨忠军 ,  赵志宏 ,  张杰

IPC: G06F11/36

Abstract: 一种基于谓词自适应随机测试的测试用例集扩增方法，程序中的分支条件表达式称为分支，由分支条件回溯至输入域的表达式称为谓词，用于回归测试，结合软件修改分析的白盒测试技术与自适应随机测试ART的黑盒测试技术，首先进行谓词提取，然后通过谓词距离引导ART进行测试用例集扩增。本发明方法结合软件修改分析的白盒测试技术与ART的黑盒测试技术，从而达到较低成本的测试用例集的有效扩增。

公开(公告)号：CN102508770A

公开(公告)日：2012-06-20

申请号：CN201110306943.3

申请日：2011-10-10

Applicant: 南京大学

Inventor： 陈振宇 ,  房春荣 ,  杨忠军 ,  赵志宏 ,  张杰

IPC: G06F11/36

Abstract: 一种基于谓词自适应随机测试的测试用例集扩增方法，程序中的分支条件表达式称为分支，由分支条件回溯至输入域的表达式称为谓词，用于回归测试，结合软件修改分析的白盒测试技术与自适应随机测试ART的黑盒测试技术，首先进行谓词提取，然后通过谓词距离引导ART进行测试用例集扩增。本发明方法结合软件修改分析的白盒测试技术与ART的黑盒测试技术，从而达到较低成本的测试用例集的有效扩增。