From source code analysis to static software testing

This paper first introduces the safety rule which standardizes static software testing based on technology of source code analysis and lists a few big problems which can be tested by the technology. These problems can be categorized as memory management, uninitialized variables, null pointer exception, array access violation and exception and buffer overflow. Besides, this paper gives a static test tool, Klocwork, which analyses source code, and puts forward four stages of the static testing based on the technology of source code analysis. In the end, certain issues inside aerospace simulation applications are technically summarized with associated research plans.