结合Craig插值分析的软件错误诊断方法.pdfVIP

第１０期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．１０ ２０１６年１０月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ．　２０１６ 结合 Ｃｒａｉｇ插值分析的软件错误诊断方法 １，２ １ １ 徐　勇 ，毋国庆 ，袁梦霆 （１．武汉大学计算机学院，湖北武汉４３００７２；２．广东肇庆学院数学与统计学院，广东肇庆５２６０６１） 　　摘　要：　基于模型诊断（ＭＢＤ）的理论应用到软件错误定位中取得了一定的效果．但是经典ＭＢＤ理论基于元件 间独立地发生故障这一假设，导致软件错误定位的结果中存在假阳性的诊断．论文对现有基于ＭＢＤ的软件错误定位 方法进行了改进，提出了冲突中元件的冗余分析方法．该方法既包括了基于Ｃｒａｉｇ插值的元件冗余分析机制，同时利用 条件语句取值的二元性（真或假）的特点，对冲突中的条件语句元件进行软件错误的无相关分析．实验结果表明：冲突 中的元件冗余分析方法可以有效地减少诊断的假阳性率，将诊断结果数减少了４８４％，碰集树生成的结点数减少 了４７６％． 关键词：　基于模型诊断；软件错误定位；冗余分析；Ｃｒａｉｇ插值 中图分类号：　ＴＰ３１１　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１６）１０２５１４０８ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１６．１０．０３３ ＳｏｆｔｗａｒｅＦａｕｌｔＬｏｃａｌｉｚａｔｉｏｎＢａｓｅｄｏｎＭｏｄｅｌＢａｓｅｄ ＤｉａｇｎｏｓｉｓＣｏｍｂｉｎｅｄＣｒａｉｇＩｎｔｅｒｐｏｌａｎｔＡｎａｌｙｓｉｓ １，２ １ １ ＸＵＹｏｎｇ ，ＷＵＧｕｏｑｉｎｇ，ＹＵＡＮＭｅｎｇｔｉｎｇ （１ＣｏｍｐｕｔｅｒＳｃｈｏｏｌ，ＷｕｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈａｎ，Ｈｕｂｅｉ４３００７２，Ｃｈｉｎａ； ２ＳｃｈｏｏｌｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＳｔａｔｉｓｔｉｃｓ，ＺｈａｏｑｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｚｈａｏｑｉｎｇ，Ｇｕａｎｇｄｏｎｇ５２６０６１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｍｏｄｅｌｂａｓｅｄｄｉａｇｎｏｓｉｓ，ａｎｉｎｔｅｌｌｉｇｅｎｔｄｉａｇｎｏｓｉｓｔｈｅｏｒｙｈａｓｂｅｅｎｓｕｃｃｅｓｓｆｕｌｌｙａｐｐｌｉｅｄｉｎｓｏｆｔｗａｒｅｆａｕｌｔｌｏｃａｌｉ ｚａｔｉｏｎｗｉｔｈｐｒｏｍｉｓｉｎｇｒｅｓｕｌｔｓ．Ｈｏｗｅｖｅｒ，ｔｒａｄｉｔｉｏｎａｌＭＢＤｒｅｌｉｅｓｏｎｔｈｅａｓｓｕｍｐｔｉｏｎｔｈａｔｃｏｍｐｏｎｅｎｔｓｉｎｔｈｅｓｙｓｔｅｍｆａｉｌｄｅｐｅｎｄ ｅｎｔｌｙｗｈｉｃｈｍａｋｅｓｔｈｅｄｉａｇｎｏｓｅｓｗｉｔｈｈｉｇｈｆａｌｓｅｐｏｓｉｔｉｖｅｓｉｎｓｏｆｔｗａｒｅｆａｕｌｔｌｏｃａｌｉｚａｔｉｏｎ．Ｉｎｔｈｉｓｐａｐｅｒ，ａｃｏｍｐｏｎｅｎｔｒｅｄｕｎｄａｎ ｃｙａｎａｌｙｓｉｓａｐｐｒｏａｃｈｉｓｐｒｅｓｅｎｔｅｄ．ＴｈｅａｐｐｒｏａｃｈｎｏｔｏｎｌｙｕｓｅｓＣｒａｉｇｉｎｔｅｒｐｏｌａｎｔｔｏｆｉｌｔｅｒｒｅｄｕｎｄａｎｔｃｏｍｐｏｎｅｎｔｓ，ｂｕｔａｌｓｏｅｍ ｐｌｏｙｓａｆａｃｔｔｈａｔａｂｒａｎｃｈｐｒｅｄｉｃａｔｅｅｖａｌｕａｔｅｓｔｏｅｉｔｈｅｒｔｒｕｅｏｒｆａｌｓｅｔｏｆｉｌｔｅｒｓｏｍｅｂｒａｎｃｈｃｏｎｄｉｔｉｏｎｃｏｍｐｏｎｅｎｔｓ．Ｅｘｐｅｒｉｍｅｎｔａｌ ｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｐｒｏｐｏｓｅｄａｐｐｒｏａｃｈｅｆｆｅｃｔｉｖｅｌｙｒｅｄｕｃｅｓｔｈｅｆａｌｓｅｐｏｓｉｔｉｖｅｒａｔｅｓｏｆｄｉａｇｎｏｓｅｓ，ｉ．ｅ．，ｒ