一种基于最弱前置条件的软件错误定位算法

• 作者: 李艳梅 李雅 迟荣华 郎大鹏 黄少滨
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 调试 错误定位 最弱前置条件 反例理解
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 25-32
• 页数: 8页
• 分类号: TP316
• 字数: 5527字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2019.01.004

摘要

错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄少滨	哈尔滨工程大学计算机科学与技术学院	55	319	10.0	15.0
2	李艳梅	哈尔滨工程大学计算机科学与技术学院	14	107	6.0	10.0
3	郎大鹏	哈尔滨工程大学计算机科学与技术学院	19	33	3.0	4.0
4	迟荣华	哈尔滨工程大学计算机科学与技术学院	8	30	3.0	5.0
5	李雅	黑龙江工程学院计算机科学与技术学院	4	9	3.0	3.0