电子学报2016，Vol.44Issue(10)：2514-2521,8.DOI:10.3969/j.issn.0372-2112.2016.10.033
结合Craig插值分析的软件错误诊断方法
Software FauIt LocaIization Based on ModeI-Based Diagnosis Combined Craig InterpoIant AnaIysis
摘要
Abstract
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%.关键词
基于模型诊断/软件错误定位/冗余分析/Craig 插值Key words
model-based diagnosis (MBD)/fault localization/redundancy analysis/Craig interpolant分类
信息技术与安全科学引用本文复制引用
徐勇,毋国庆,袁梦霆..结合Craig插值分析的软件错误诊断方法[J].电子学报,2016,44(10):2514-2521,8.基金项目
国家自然科学基金（No．91118003，No．61003071）；深圳战略性新兴产业发展专项资金（No．JCYJ20120616135936123）；中央高校基本科研业务费专项资金 （）
