基于源代码分析的软件静态测试  

Static software testing based on the source code analysis

作　　者：孟云秀[1] 赵正旭[1] 

机构地区：[1]石家庄铁道大学信息科学与技术学院,河北石家庄050043

出　　处：《河北省科学院学报》2013年第2期16-21,共6页Journal of The Hebei Academy of Sciences

基　　金：国家自然科学基金项目(60873208)

摘　　要：介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。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.

关 键 词：源代码分析技术 软件缺陷 Klocwork 静态测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]