The Design And Implementation Of Static Detection Tool For Engineering Of C Language

With the expansion of the development of computer application and software, the software plays a more and more important role in the information society, Software crisis happens frequently, however, such as aerospace、 transportation、 quality control system、 electronic commerce and many other key applications puts forward high requirements on the reliability of the system.Software testing is important part to ensure the quality of the software, Particularly static detection which is an important and effective method of software testing. For today’s software, The characteristics of the scale and complexity is higher and higher, and artificial walk through is not just laborious, maybe even not be realistic, so an automated static detection tool is the presence of a high value, then this paper introduces the overall classification of software testing and focus on the framework and process of static detection, and gives a brief description of all kinds of testing technology of static detection, such as lexical analysis、 rules testing, etc.On the basis of the above theory, the static automated testing tools based on the rules of GJB5369-2005are designed and implemented in this paper. Before the design and implementation of the tool, this paper introduces the tools related to technology, and in the design and implementation phases, this paper gives specific demand analysis, system design and detailed design, etc. The tool is mainly composed of import of project、 preprocessing、 rule checking、 defect treatment. And the test and evaluation of this tool is given at the same time, the results show that the tool is conform to the requirements of the design goal.