一种基于加权软件行为图挖掘的软件错误定位方法.PDF

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 一种基于加权软件行为图挖掘的软件错误定位方法 苏小红 王甜甜 杨劭君 马培军 　 　 　 （哈尔滨工业大学计算机科学与技术学院 哈尔滨 １５０００１） 　 　 摘 要 已有错误定位方法通常仅给出可疑语句排序而缺少必要的上下文信息，导致难于理解软件失效的产生原 　 　 因 为了解决该问题，定义了加权软件行为图来表示成功和失败的程序执行路径，由于图中边的权重表示了路径的 ． 执行频率，因此与 方法相比，可以较好地分析与循环和递归等结构相关的软件错误 在此基础上，执行基于 ＬＥＡＰ ． 分支限界搜索的加权软件行为图挖掘算法，识别成功和失败执行之间最有差异的子图来获得错误签名，不但可以 有效定位错误位置，还能输出缺陷语句相关的执行路径，从而提供失效产生的上下文 分析 基准测试集和 ． Ｓｉｅｍｅｎｓ ｆｌｅｘ程序的结果表明，在检查相同百分比的语句的情况下，文中方法可以比Ｔａｒａｎｔｕｌａ方法和 ＬＥＡＰ方法定位到更 多的错误 特别是对于冗余代码、缺失代码和变量替换，以及会直接改变执行路径类的错误，文中方法具有较高的 ． 定位精度． 关键词 错误定位；软件行为图；图挖掘；错误签名；分支限界搜索 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．０２１７５ 　　　 犉犪狌犾狋犔狅犮犪犾犻狕犪狋犻狅狀犅犪狊犲犱狅狀犠犲犻犺狋犲犱犛狅犳狋狑犪狉犲犅犲犺犪狏犻狅狉犌狉犪犺犕犻狀犻狀 犵 狆 犵 ＳＵＸｉａｏＨｏｎ ＷＡＮＧＴｉａｎＴｉａｎ ＹＡＮＧＳｈａｏＪｕｎ ＭＡＰｅｉＪｕｎ ｇ　 　 　 （ ， ， ） 犛犮犺狅狅犾狅 犆狅犿 狌狋犲狉犛犮犻犲狀犮犲犪狀犱犜犲犮犺狀狅犾狅 犎犪狉犫犻狀犐狀狊狋犻狋狌狋犲狅 犜犲犮犺狀狅犾狅 犎犪狉犫犻狀 １５０００１ 犳 狆 犵狔 犳 犵狔 　 犃犫狊狋狉犪犮狋 Ｔｈｅｒｅｓｕｌｔｏｆｍｏｓｔｆａｕｌｔｌｏｃａｌｉｚａｔｉｏｎａ ｒｏａｃｈｅｓａｒｅ ｉｖｅｎｉｎｔｈｅｆｏｒｍ ｏｆｓｕｓｉｃｉｏｕｓ 　 ｐｐ ｇ ｐ ，