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

• 作者: 徐勇 毋国庆 袁梦霆
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 基于模型诊断 软件错误定位 冗余分析 Craig 插值
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2514-2521
• 页数: 8页
• 分类号: TP311
• 字数: 7282字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2016.10.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
2	徐勇	武汉大学计算机学院	20	60	4.0	5.0
4	袁梦霆	武汉大学计算机学院	13	39	3.0	6.0