一种基于谓词分层覆盖矩阵的缺陷定位方法

• 作者: 朱润凝 赵逢禹
• 来源期刊: 计算机应用研究
• 关键词: 程序频谱 谓词错误 分层覆盖矩阵 缺陷定位
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2375-2380,2395
• 页数: 7页
• 分类号: TP311.53
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.08.030

摘要

基于程序频谱的动态缺陷定位（spectrum based dynamic fault localization，SFL）可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现：a）基于可执行语句覆盖的方法未考虑谓词错误和执行结果之间的关联；b）基于谓词覆盖的方法只针对谓词进行插桩，最后只计算谓词的可疑度并对谓词进行排序，如果缺陷是非谓词，此类方法无法准确定位缺陷位置；c）忽略了基本块之间的关联和层次特性，将各个基本块看成相互独立的个体。为解决上述问题，首先，将谓词错误与执行结果之间的关联性这一有用信息加入到算法的设计中；其次，加入谓词分层覆盖与分析的思想，对覆盖矩阵中的基本块进行细分和分层；最后，将两者结合，提出一种基于谓词分层覆盖矩阵的缺陷定位方法，即谓词分层覆盖算法 Phcm。将西门子程序集作为目标程序，通过与其他三种缺陷定位方法进行对比实验，验证了该方法在提高缺陷定位的精准度和减小代码检查率上的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵逢禹	上海理工大学光电信息与计算机工程学院	68	296	10.0	14.0
2	朱润凝	上海理工大学光电信息与计算机工程学院	1	0	0.0	0.0