From source code analysis to static software testing
Wei Wang, Meng Yunxiu, Han Lilong, He Bai · 2014 IEEE Workshop on Advanced Research and Technology in Industry Applications (WARTIA) · 2014
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.