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

• 作者: 孟云秀 赵正旭
• 来源期刊: 河北省科学院学报
• 关键词: 源代码分析技术 软件缺陷 Klocwork 静态测试
• 年，卷（期）: 2013,（2）
• 页码范围: 16-21
• 页数: 6页
• 分类号: TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵正旭	石家庄铁道大学信息科学与技术学院	52	165	6.0	10.0
2	孟云秀	石家庄铁道大学信息科学与技术学院	1	6	1.0	1.0