Title: Static software testing based on the source code analysis
Abstract: This paper first introduces the safety rule which standardizes static software testings based on the source code analysis technology 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 software testings based on the source code analysis technology.In the end,certain issues inside aerospace simulation applications are technically summarized with associated research plans.
Publication Year: 2013
Publication Date: 2013-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot