殷鹏川，贲可荣

(海军工程大学计算机工程系， 湖北 武汉 430033)

基于路径引导的回归测试用例集扩增方法*

殷鹏川，贲可荣

(海军工程大学计算机工程系， 湖北 武汉 430033)

为了全面测试演化软件，回归测试通常需要生成新的测试用例。concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术，通过生成测试数据来执行程序的所有可行路径。回归测试中，由于concolic测试关注于程序本身，没有利用已有测试用例和软件演化信息，导致生成大量无效测试数据，浪费资源和时间。为解决此问题，提出一种基于路径引导的回归测试用例集扩增方法。该方法将目标路径作为引导，根据软件演化信息选择有利于覆盖目标路径的测试用例，利用已有测试用例跳过重叠初始子路径，对后续目标子路径进行concolic测试并生成覆盖目标路径的测试数据。案例分析表明，本文方法相比传统concolic测试，本方法在覆盖程序可行路径的同时，可有效减少concolic测试路径，提高测试数据生成效率。

回归测试；concolic测试；测试用例集扩增；测试数据生成；路径覆盖

1 引言

回归测试是指修改现有软件后，对演化软件重新测试，以确认新引入的修改没有妨碍现有未修改部分的功能[1]。为了全面测试演化软件，需要生成新的回归测试用例。与传统测试数据生成相比，回归测试数据的生成更有针对性。测试用例集扩增通过利用已执行测试用例信息和程序修改信息生成新测试用例集，覆盖演化程序的修改部分，使新老用例集合满足演化软件的测试需求[2]。……