基于程序控制依赖引导的回归测试案例生成方法

摘要

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