The Research And Design Of Path Selection In Unit Automatic Testing System

With the arrival of information age, the software technique progresses with great speed, the software product is playing more and more important role in each social application. How to guarantee the software quality has been popular in the computer technology research area. The software testing had already become the most effective method for the guarantee of software quality. Unit test is the most basic test among all the software testing methods.Massive work may be needed in manual execution unit test. The key to carry out the high efficiency unit test is automation. This paper firstly introduces mainstream's C\C++ unit testing software in the present market, then introduced the unit automatic test system(UATS), which includes system frame, main system module and module relations as well as system's test flow. The C\C++ function is regarded as the test target.This thesis proposes a technology of target element management that including extracting target element based on the control flow graph and abstract syntax tree, updating the status of the target elements according to the information of cartridge and calculation coverage. In addition, this thesis also proposes a method of selecting path, including selecting a basic path based on the control tree and the imply tree, detecting the infeasible path with the interval arithmetic and reselecting a path which puts forward branch replacement and atomic predicates replacement. Finally, it presents the result of the path selection, the detection of infeasible path and the path reselecting of a set of functions, and carries on the analysis.