Technique of Software Fault Localization Based on Weakest Pre-condition

LI Ya; HUANG Shao-bin; LI Yan-mei; CHI Rong-hua; LANG Da-peng

doi:10.3969/j.issn.0372-2112.2019.01.004

您当前的位置：

首页 >

文章列表页 >

Technique of Software Fault Localization Based on Weakest Pre-condition

更新时间：2025-07-16

- Technique of Software Fault Localization Based on Weakest Pre-condition
- Acta Electronica Sinica Vol. 47, Issue 1, Pages: 25-32(2019)
- 作者机构：
  
  1. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  2. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
  3. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  4. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.61772177, No.61806075);Natural Science Foundation of Heilongjiang Province (No.F2018029);Doctoral Research Fund of Heilongjiang Institute of Technology (No.2018BJ03, No.2017BJ13)
- DOI：10.3969/j.issn.0372-2112.2019.01.004
  CLC： TP316
- Published Online：25 January 2019，
  
  Published：2019
- 稿件说明：
移动端阅览
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：

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

Views

310

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Identifying Coincidental Correctness for Effective Fault Localization

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

Abstract Event Timestamp

Protocol Structure of Abstract Event

Multiple-Fault Localization Based on Chameleon Clustering

Related Author

QIAN Jun-yan

XUE Meng

WANG Xing-ya

JIANG Shu-juan

CAO He-ling

JIANG Shu-juan

XUE Meng

YANG Wei-dong

Related Institution

Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology Guilin Guangxi China

College of Information Science and Engineering Henan University of Technology Zhengzhou Henan China

School of Computer Science and Technology China University of Mining and Technology Xuzhou Jiangshu China

Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology

College of Information Science and Engineering, Henan University of Technology

⁰