基于缺陷关联的静态分析优化

摘要：

缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22％的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测.

关键词：静态分析、优化、缺陷关联、抽象解释、状态切片

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金91318301,61202080;国家高技术研究发展计划8632012AA011201

在线出版日期：2014-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：386-399