Path reduction of multiple test points in dynamic symbolic execution
Jiawen Lu, Lizhi Cai, Yang Zhang · 2017
Dynamic symbolic execution (DSE) is widely used to generate test cases for automated test. However, the practicability of DSE is greatly decreased by path explosion, which is an unavoidable challenge caused by that the number of execution paths increases exponentially with the increase in the size of program. To alleviate this problem, dynamic symbolic execution based on multiple test points (MPDSE) is proposed in this paper to improve the efficiency of DSE by reducing redundant paths. Through analyzing the dependences between test points and branches, the equivalent paths are figured out so that MPDSE can eliminate exploring redundant paths. Our experiments show that MPDSE has advantages in generating test cases compared to traditional DSE.