원문정보
초록
영어
The space explosion caused by loop structure in path exploration makes it difficult to find a target-oriented path during code coverage testing. In this paper, a method named target-oriented concolic testing(TOCT) is introduced to tackle the problem of generating a path to cover a target in a loop structure. First, the static analysis method static prefix path search (SPSS) is used to generate a prefix path. Solving the constraints on the prefix path obtains a test case, with which concrete execution is carried out as an input. Meanwhile the execution trace is captured. The trace is used to unfold the loop into a feasible path. Finally SPPS is adopted again for the next prefix-path until a feasible path containing the target is achieved. Experimental results show that the proposed strategy reached a higher coverage when the targets are in loop structure and demonstrate that it is applicable in engineering.
목차
1. Introduction
2. Reformulation of Target Oriented Path Generation
2.1. Definition of Path Generation Problem
2.2. Scale of Search Space
3. Target-Oriented Concolic Testing
3.1. The Framework of TOCT
3.2. Perfix-Path Generation by SPPS
3.3. Successive Path Generation by CE
4. Case Study
5. Experimental Analyses and Empirical Evaluations
5.1. Comparison Experiments
5.2. Perform Evaluation
5.3. Testing Projects in Engineering
6. Conclusion
Acknowledgements
References