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

基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果．但是经典MBD理论基于元件间独立地发生故障这一假设，导致软件错误定位的结果中存在假阳性的诊断．论文对现有基于MBD 的软件错误定位方法进行了改进，提出了冲突中元件的冗余分析方法．该方法既包括了基于Craig插值的元件冗余分析机制，同时利用条件语句取值的二元性（真或假）的特点，对冲突中的条件语句元件进行软件错误的无相关分析．实验结果表明：冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率，将诊断结果数减少了48．4％，碰集树生成的结点数减少了47．6％．

Software FauIt LocaIization Based on ModeI-Based Diagnosis Combined Craig InterpoIant AnaIysis

Model-based diagnosis,an intelligent diagnosis theory has been successfully applied in software fault locali-zation with promising results.However,traditional MBD relies on the assumption that components in the system fail depend-ently which makes the diagnoses with high false positives in software fault localization.In this paper,a component redundan-cy analysis approach is presented.The approach not only uses Craig interpolant to filter redundant components,but also em-ploys a fact that a branch predicate evaluates to either true or false to filter some branch condition components.Experimental results show that 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%.