Design And Implementation Of An Automated Testing Tool Based On Inter-Procedural Dynamic Symbolic Execution

With the rapid development of information technology, computer software plays a more and more important role in people’s daily life and work. Because of cloud computing and various mobile terminals gaining their popularity, the demand of software is continuously growing while the market emphasizes more and more quality issues. Especially in high confidence software, testing engineers have to use limited time and resource to find bugs in order to ensure the correctness of program. The study of automated test-case generating was developed in this background.Dynamic Symbolic Execution is one of the methods automatically generating test-case for white-box test. It introduces the idea of instantiating symbol on the basis of symbolic execution. The theory gets test-case by collecting and solving constraints of branch conditions in program path. However, there are numerous function calls in inter-procedural test by function unit. A series of algorithms based on inter-procedural DSE was proposed to solve path explosion issue.This paper discusses an automated inter-procedural DSE testing tool. An inter-procedural DSE algorithm based on the idea of function summary is proposed. A universal and solver-free constraint normal form is designed. A Def-Use algorithm and execution tree model for inter-procedural DSE are given to unify the symbol of argument and parameter in function call and deal with program path by function level. Furthermore, this paper describes a feasible inter-procedural DSE model in the framework of CAUT, a C unit-testing tool. The experimental result shows the efficiency and correctness of the algorithm.