A regression test case generation method guided with branch probability

A novel method was proposed to generate regression test cases guided by the branch possibility (GBP). The symbolic execution was applied to search the paths of the program and generate control dependence graph of the program. The branch possibility was proposed to measure the possibility of that the new test case can cover the target code, which is generated by reserving the branch. The branch possibility of each branch in the test case was calculated to find the highest one which will be reserved to generate a new case, until the target code was run in the test case. 20 versions of two programs were selected to compare our method with two existing algorithms such as eXpress and dynamic symbolic execution. The results show that the GBP can generate the test case effectively, and the search time is 45.6% and 61.1% lower than that of eXpress and dynamic symbolic execution (DSE).