一种基于谓词分层覆盖矩阵的缺陷定位方法-计算机应用研究.PDF

第３３卷第８期 计 算 机 应 用 研 究 Ｖｏｌ．３３Ｎｏ．８ ２０１６年８月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ａｕｇ．２０１６ 一种基于谓词分层覆盖矩阵的缺陷定位方法 朱润凝，赵逢禹 （上海理工大学光电信息与计算机工程学院，上海２０００９３） 摘　要：基于程序频谱的动态缺陷定位（ｓｐｅｃｔｒｕｍｂａｓｅｄｄｙｎａｍｉｃｆａｕｌｔｌｏｃａｌｉｚａｔｉｏｎ，ＳＦＬ）可分为基于可执行语句覆 盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现：ａ）基于可执行语句覆盖的方法未考虑谓词 错误和执行结果之间的关联；ｂ）基于谓词覆盖的方法只针对谓词进行插桩，最后只计算谓词的可疑度并对谓词 进行排序，如果缺陷是非谓词，此类方法无法准确定位缺陷位置；ｃ）忽略了基本块之间的关联和层次特性，将各 个基本块看成相互独立的个体。为解决上述问题，首先，将谓词错误与执行结果之间的关联性这一有用信息加 入到算法的设计中；其次，加入谓词分层覆盖与分析的思想，对覆盖矩阵中的基本块进行细分和分层；最后，将两 者结合，提出一种基于谓词分层覆盖矩阵的缺陷定位方法，即谓词分层覆盖算法Ｐｈｃｍ。将西门子程序集作为目 标程序，通过与其他三种缺陷定位方法进行对比实验，验证了该方法在提高缺陷定位的精准度和减小代码检查 率上的有效性。 关键词：程序频谱；谓词错误；分层覆盖矩阵；缺陷定位 中图分类号：ＴＰ３１１．５３　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１６）０８２３７５０６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１６．０８．０３０ Ｆａｕｌｔｌｏｃａｌｉｚａｔｉｏｎｍｅｔｈｏｄｂａｓｅｄｏｎｐｒｅｄｉｃａｔｅｈｉｅｒａｒｃｈｉｃａｌｃｏｖｅｒａｇｅｍａｔｒｉｘ ＺｈｕＲｕｎｎｉｎｇ，ＺｈａｏＦｅｎｇｙｕ （ＳｃｈｏｏｌｏｆＯｐｔｉｃａｌＥｌｅｃｔｒｉｃａｌ＆ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ，ＵｎｉｖｅｒｓｉｔｙｏｆＳｈａｎｇｈａｉｆｏｒＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，Ｓｈａｎｇｈａｉ２０００９３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｅｘｅｃｕｔａｂｌｅｓｔａｔｅｍｅｎｔｃｏｖｅｒａｇｅａｎｄｐｒｅｄｉｃａｔｅｃｏｖｅｒａｇｅａｒｅｔｗｏｂａｓｉｃｍｅｔｈｏｄｓｆｏｒｓｐｅｃｔｒｕｍｂａｓｅｄｄｙｎａｍｉｃｆａｕｌｔｌｏ ｃａｌｉｚａｔｉｏｎ．Ｂｙａｎａｌｙｚｉｎｇｔｈｅａｂｏｖｅｔｗｏｍｅｔｈｏｄｓ，ｉｔｉｓｆｏｕｎｄｔｈａｔ：ａ）ｔｈｅｍｅｔｈｏｄｂａｓｅｄｏｎｅｘｅｃｕｔａｂｌｅｓｔａｔｅｍｅｎｔｓｄｏｅｓｎｏｔｃｏｎ ｓｉｄｅｒｔｈｅａｓｓｏｃｉａｔｉｏｎｂｅｔｗｅｅｎｔｈｅｐｒｅｄｉｃａｔｅｅｒｒｏｒａｎｄｔｈｅｅｘｅｃｕｔｉｏｎｒｅｓｕｌｔ；ｂ）ｔｈｅｍｅｔｈｏｄｂａｓｅｄｏｎｐｒｅｄｉｃａｔｅｃｏｖｅｒａｇｅｏｎｌｙｄｏｅｓ ｉｎｓｔｒｕｍｅｎｔａｔｉｏｎｏｎｐｒｅｄｉｃａｔｅ，ｃａｌｃｕｌａｔｅｓｔｈｅｓｕｓｐｉｃｉｏｕｓｓｃｏｒｅｏｆｐｒｅｄｉｃａｔｅａｎｄｄｏｅｓｓｏｒｔｉｎｇｏｎｐｒｅｄｉｃａｔｅａｃｃｏｒｄｉｎｇｔｏｓｕｓｐｉｃｉｏｕｓ ｓｃｏｒｅｓ．Ｉｆｔｈｅｆａｕｌｔｉｓｎｏｔｆｒｏｍａｐｒｅｄｉｃａｔｅ，ｔｈｅｍｅｔｈｏｄｗｉｌｌｎｏｔｌｏｃａｔｅｔｈｅｆａｕｌｔｃｏｄｅｓｔａｔｅｍｅｎｔｓａｃｃｕｒａｔｅｌｙ．ｃ）Ｂｏｔｈｍｅｔｈｏｄｓｉｇ ｎｏｒｅｔｈｅｃｏｒｒｅｌａｔｉｏｎａｎｄｈｉｅｒａｒｃｈｉｃａｌｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｔｈｅｂａｓｉｃｓｔａｔｅｍｅｎｔｓｂｌｏｃｋｓａｎｄｅａｃｈｂｌｏｃｋｉｓｔｒｅａｔｅｄａｓａｎｉｎｄｅｐｅｎｄｅｎｔ ｅｎｔｉｔｙ．Ｔｏｓｏｌｖｅｔｈｅａｂｏｖｅｐｒｏｂｌｅｍｓ，ｆｉｒｓｔｌｙ，ｔｈｉｓｐａｐｅｒａｄｄｅｄｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｐｒｅｄｉｃａｔｅｅｒｒｏｒａｎｄｅｘｅｃ