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

第１０期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．１０ ２０１６年１０月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ．　２０１６ 结合 Ｃｒａｉｇ插值分析的软件错误诊断方法 １，２ １ １ 徐　勇 ，毋国庆 ，袁梦霆 （１．武汉大学计算机学院，湖北武汉４３００７２；２．广东肇庆学院数学与统计学院，广东肇庆５２６０６１） 　　摘　要：　基于模型诊断（ＭＢＤ）的理论应用到软件错误定位中取得了一定的效果．但是经典ＭＢＤ理论基于元件 间独立地发生故障这一假设，导致软件错误定位的结果中存在假阳性的诊断．论文对现有基于ＭＢＤ的软件错误定位 方法进行了改进，提出了冲突中元件的冗余分析方法．该方法既包括了基于Ｃｒａｉｇ插值的元件冗余分析机制，同时利用 条件语句取值的二元性（真或假）的特点，