Font Size: a A A

Research And Implement On The Automatic Tool For The Software Static Analysis

Posted on:2007-02-19Degree:MasterType:Thesis
Country:ChinaCandidate:X D WangFull Text:PDF
GTID:2178360182973138Subject:Computer application technology
Abstract/Summary:PDF Full Text Request
The cost to find the errors and modify them in the beginning is less than at the end in developing a software . The static analysis on the software before the dynamic test can find errors and bugs of the software as early as possible and improve the quality of the software .So ,in this way, we can improve the efficiency of review, test and maintenance .Therefore, the time of developing is shortened and the cost is reduced .Today the scale of the software is becoming larger and the complexity of the software is being higher, the handwork test is turning out to be harder and harder. The efficiency of handwork is greatly lowered because of the repeated work. Software testing includes static testing and dynamic testing, and the static testing is the basis of the dynamic testing. This paper research the automatic tool of static analysis, which is used to improve the efficiency and reduce the cost for testing.The automatic tool of static analysis refered to in this paper has three main functions. First, Regular inspect on the source code; Second, Analysis on the static structure of the code; Third .Measure the program . To static analyze the source code, firstly, the static information of the program must be extracted, based on this information, static analysis on the program can be extracted. There are two methods to extract the static information: first, developing the static analysis subsystem of the program; second, getting static information from the middle files produced by the compiler. This paper mainly realizes the following things: Regular inspect on the source code by embed openSource tool, and establishment of some regular kits. During the period of analyzing, our target is to realize the relation between the functions and vars. The control flow and data flow in the functions will be implemented in the future work .At last, the complexity of the program is analyzed.
Keywords/Search Tags:Extracted Information, Static Analysis, Static Testing Automatic Testing
PDF Full Text Request
Related items