Input Domain Reduction of Search-based Structural Test Data Generation using Interval Arithmetic

摘要

The size of search space has an impact on the efficiency of test data generation by meta-heuristic algorithms. To enhance the efficiency of test data generation, a method that reduces search space utilizing interval arithmetic is proposed. Firstly, all input variables of the program are presented as interval variables. Then, the interval of each variable is gradually reduced by many constraint conditions in the target path. Finally, meta-heuristic algorithm with reduced search space is carried out to generate test data. Experimental results show the proposed method has advantages in the number of generations, running time, and success rate, which can significantly enhance the efficiency of test data by using meta-heuristic algorithms.