路径敏感的静态缺陷检测方法研究
减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂度的路径敏感缺陷检测算法，该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的变量抽象取值范围为空来判断不可达路径，并在所有控制流汇合节点上合并相同属性状态的状态条件从而避免完整路径上下文分析的组合爆炸问题。该算法已应用于缺陷检测系统DTS(Defect Testing System)，实际测试结果表明该方法能够有效地减少误报。
缺陷检测 静态分析 路径敏感 数据流分析 软件静态测试
肖庆 宫云战 杨朝红 金大海 王雅文
北京邮电大学 网络与交换技术国家重点实验室，北京 100876 北京邮电大学 网络与交换技术国家重点实验室，北京 100876 装甲兵工程学院 信息工程系，北京 100072
国内会议
沈阳
中文
214-220
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）