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

作     者：徐勇 毋国庆 袁梦霆 XU Yong;WU Guo-qing;YUAN Meng-ting

作者机构：武汉大学计算机学院湖北武汉430072 广东肇庆学院数学与统计学院广东肇庆526061 

出 版 物：《电子学报》 (Acta Electronica Sinica)

年 卷 期：2016年第44卷第10期

页      面：2514-2521页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

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

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