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

李雅; 黄少滨; 李艳梅; 迟荣华; 郎大鹏

doi:10.3969/j.issn.0372-2112.2019.01.004

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- 一种基于最弱前置条件的软件错误定位算法
- Technique of Software Fault Localization Based on Weakest Pre-condition
- 电子学报 2019年47卷第1期页码：25-32
- 作者机构：
  
  1. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  2. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
  3. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  4. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.61772177，No.61806075）;黑龙江省自然科学基金 (No.F2018029）;黑龙江工程学院博士科研启动基金 (No.2018BJ03，No.2017BJ13）
- DOI：10.3969/j.issn.0372-2112.2019.01.004
  中图分类号： TP316
- 网络出版：2019-01-25，
  
  纸质出版：2019
- 稿件说明：
移动端阅览
李雅, 黄少滨, 李艳梅, 等. 一种基于最弱前置条件的软件错误定位算法[J]. 电子学报, 2019,47(1):25-32.

LI Ya, HUANG Shao-bin, LI Yan-mei, et al. Technique of Software Fault Localization Based on Weakest Pre-condition[J]. Acta Electronica Sinica, 2019, 47(1): 25-32.
李雅, 黄少滨, 李艳梅, 等. 一种基于最弱前置条件的软件错误定位算法[J]. 电子学报, 2019,47(1):25-32. DOI： 10.3969/j.issn.0372-2112.2019.01.004.

LI Ya, HUANG Shao-bin, LI Yan-mei, et al. Technique of Software Fault Localization Based on Weakest Pre-condition[J]. Acta Electronica Sinica, 2019, 47(1): 25-32. DOI： 10.3969/j.issn.0372-2112.2019.01.004.

摘要

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

Abstract

Fault localization is one of the most time-consuming activities in software debugging

and automatic fault localization technique can effectively improve the efficiency and reduce the cost.In this paper

a fault localization technique based on weakest pre-condition is proposed.Firstly

we compute the weakest pre-condition

and construct the fault analysis graph.Secondly

label the nodes according to the failing test case.Finally

label the graph top-down again while the output is limited to true

and the input cannot be changed.The conflicting nodes were found as the possible errors.The experimental results suggest that the proposed method in this paper has better performance compared to other methods.So that the debugger can only check fewer statements to find out the location of the error.

关键词

Keywords

references

浏览量

310

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向有效错误定位的偶然正确性识别方法

怀疑度计算公式受偶然正确性影响理论分析

抽象事件的时间戳

抽象事件的协议结构

基于Chameleon聚类分析的多错误定位方法