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

Software Fault Localization Based on Model-Based Diagnosis Combined Craig Interpolant Analysis

作　　者：徐勇[1,2] 毋国庆[1] 袁梦霆[1] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072 [2]广东肇庆学院数学与统计学院,广东肇庆526061

出　　处：《电子学报》2016年第10期2514-2521,共8页Acta Electronica Sinica

基　　金：国家自然科学基金(No.91118003;No.61003071);深圳战略性新兴产业发展专项资金(No.JCYJ20120616135936123);中央高校基本科研业务费专项资金(No.3101046;No.201121102020006)

摘　　要：基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%.Model-based diagnosis,an intelligent diagnosis theory has been successfully applied in software fault localization with promising results. However,traditional MBD relies on the assumption that components in the system fail dependently which makes the diagnoses with high false positives in software fault localization. In this paper,a component redundancy analysis approach is presented. The approach not only uses Craig interpolant to filter redundant components,but also employs a fact that a branch predicate evaluates to either true or false to filter some branch condition components. Experimental results showthat the proposed approach effectively reduces the false positive rates of diagnoses,i. e.,reducing the number of diagnosis by 48. 4%,and reducing the number of nodes of hitting set tree generated during diagnosis computation by 47. 6%.

关 键 词：基于模型诊断 软件错误定位 冗余分析 Craig插值 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]