软件静态测试中的源代码分析技术

来源 :2013年“计算机科学与技术及教育技术”学术研讨会 | 被引量 : 0次 | 上传用户:hebeikbyz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
论文首先说明了软件测试研究的背景与意义,然后分析了现代源代码分析技术中使用的安全规则研究现状,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究.通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,最后总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作.
其他文献