关键词: 回归测试, concolic测试, 测试用例集扩增, 测试数据生成, 路径覆盖

Abstract:

To test the evolution software fully,new test cases need to be generated in regression testing typically.concolic testing is a hybrid software verification technique that performs symbolic execution along a concrete execution path,and can perform all the feasible paths of a program by generating test data.Concolic testing only focuses on the program under test with both existing test cases and software evolution information unexploited in regression testing, which  results in a large number of invalid test data generation,wasting resources and time.To address this problem,a pathdirected regression test suite augmentation approach is proposed. With the guidance of target paths,the approach selects the test cases conducive to cover target paths according to software evolution information,skips initial overlapping subpaths by using the existing test cases,takes the followup target subpath to guide concolic testing and generates test data covering the target paths.Case analysis demonstrates that the proposed approach can effectively reduce concolic testing paths in comparison to traditional concolic testing, and improves the efficiency of test data generation while covering feasible paths of the program.

Key words: regression testing;concolic testing;test suite augmentation;test data generation;path coverage