[发明专利]基于程序控制依赖引导的回归测试案例生成方法

摘要

本发明提出一种基于程序控制依赖引导的回归测试案例生成方法，可以自动生成对程序修改部分进行有效测试的测试案例。该方法以发生修改的程序代码为测试目标，通过分析程序的控制流和信息流，建立程序控制依赖图；计算各个分支语句到达测试目标代码的概率（到达概率），引导符号执行生成可以保证目标代码被执行的测试案例；计算所有分支语句的可能使得目标代码执行结果无法传播到输出的概率（阻断概率），引导符号执行生成可以保证目标代码执行结果影响输出的测试案例。相比现有回归测试方法，本方法可以保证测试案例的有效性，同时显著提高测试案例生成的效率。

主权项

基于程序控制依赖引导的回归测试案例生成方法，其特征在于，包括如下步骤：S101）、利用程序静态分析方法，分析测试程序的控制流和信息流，建立测试程序的控制依赖图；S102）、针对输入的测试程序的目标代码，根据步骤S101）中建立的控制依赖图中计算各个分支的到达概率；S103）、采用基于分支到达概率引导的约束生成算法，迭代搜索和取反测试案例执行路径上到达概率最大的分支条件，生成新的约束，利用符号执行方法进行求解，若可以生成一个执行目标代码的测试案例，转入步骤S104）；若无法生成测试案例可以执行目标代码，则表示测试目标代码在程序中不会被执行，转入步骤S107）；S104）、针对测试程序的目标代码，根据程序信息流，检测各个分支语句是否阻断目标代码执行结果对程序输出的影响，若改变则标记为阻断分支；然后，计算各个分支的阻断概率；S105）、采用基于分支阻断概率引导的约束生成算法，迭代搜索和取反测试案例执行路径上阻断概率最小的分支条件，生成新的约束，利用符号执行方法进行求解，若可以生成一个测试案例保证目标代码执行结果影响输出，转入步骤S106）；若无法生成测试案例，转入步骤S103）；S106）输出有效测试案例，流程结束；所述有效测试案例是指该测试案例可以保证测试目标代码被执行，且执行结果影响程序输出结果；S107）针对输出测试程序和测试目标代码，无法生成有效测试案例。