A Scheme of Feasibility with Static Analysis in Software Testing Environment

摘要

The static analysis in the software testing is to abstract the necessary data from the source code, which is used in the analysis of control flow and syntax analysis. It is used to automatically generate the graph, list and it is the first step to insert testing code in the program. This paper mainly analyzes the details of pertaining modules of source code, project file, code insertion and automatic generation of graph and list. And it gives a feasible method.