Article

Automated path generation for software fault localization

Authors:

Abhik RoychoudhuryAuthors Info & Claims

ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering

Pages 347 - 351

https://doi.org/10.1145/1101908.1101966

Published: 07 November 2005 Publication History

Abstract

Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some "successful" run (a run which does not demonstrate the error). An issue here is to generate or choose a "suitable" successful run; this task is often left to the programmer. In this paper, we present an efficient technique where the construction of the successful run as well its comparison with the failing run is automated. Our method constructs a successful program run by toggling the outcomes of some conditional branch instances in the failing run. If such a successful run exists, program statements for these branches are returned as bug report. In our experiments with the Siemens benchmark suite, we found that the quality of our bug report compares well with those produced by existing fault localization approaches where the programmer manually provides or chooses a successful run.

References

[1]

T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: localizing errors in counterexample traces. In ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pages 97--105, 2003.

Digital Library

[2]

S. Chaki, A. Groce, and O. Strichman. Explaining abstract counterexamples. In ACM Symposium on the Foundations of Software Engineering (FSE), 2004.

Digital Library

[3]

H. Cleve and A. Zeller. Locating causes of program failures. In ACM/IEEE International Conference on Software Engineering (ICSE), 2005.

Digital Library

[4]

D. Detlefs, G. Nelson, and J. Saxe. Simplify: A theorem prover for program checking. Technical report, HP Labs, Palo Alto, CA, 2003. http://research.compaq.com/SRC/esc/Simplify.html.

[5]

A. Groce. Error explanation with distance metrics. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 108--122, 2004.

[6]

A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121--135, 2003.

Digital Library

[7]

M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In ACM/IEEE International Conference on Software Engineering (ICSE), 1994.

Digital Library

[8]

J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 467--477, 2002.

Digital Library

[9]

B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2003.

Digital Library

[10]

B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss. Automated fault localization using potential invariants. CoRR, cs.SE/0310040, Oct, 2003.

[11]

M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Automated Software Engineering (ASE), pages 30--39, 2003.

[12]

T. W. Reps, T. Ball, M. Das, and J. R. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In ACM Symposium on the Foundations of Software Engineering (FSE), 1997.

Digital Library

[13]

G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering, 24, 1998.

Digital Library

[14]

J. Ruthruff, E. Creswick, M. Burnett, C. Cook, S. Prabhakararao, M. F. II, and M. Main. End-user software visualizations for fault localization. In ACM Symposium on Software Visualization, pages 123--132, 2003.

Digital Library

[15]

A. Zeller. Isolating cause-effect chains from computer programs. In ACM Symposium on the Foundations of Software Engineering (FSE), 2002.

Digital Library

[16]

A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28, 2002.

Digital Library

Cited By

Wu SLo J(2023)The MADAG Strategy for Fault Location TechniquesApplied Sciences10.3390/app1302081913:2(819)Online publication date: 6-Jan-2023
https://doi.org/10.3390/app13020819
Luo FXue MLi JLi KLi SSun GYu H(2023)Configuration Error Localization Based on Delta Debugging2023 International Conference on Blockchain Technology and Information Security (ICBCTIS)10.1109/ICBCTIS59921.2023.00011(27-32)Online publication date: Jun-2023
https://doi.org/10.1109/ICBCTIS59921.2023.00011
Wong WGao RLi YAbreu RWotawa FLi D(2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
https://doi.org/10.1002/9781119880929.ch1
Show More Cited By

Index Terms

Automated path generation for software fault localization
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Understanding the use of spectrum‐based fault localization
Summary
Developers spend significant time locating and fixing bugs, which is often performed manually. Although spectrum‐based fault localization (SFL) techniques aim at helping developers to locate faults, they are not yet used in practice. Recent ...

This paper presents a user study of spectrum‐based fault localization (SFL), showing that SFL can improve the developers' debugging effectiveness, leading them close to faulty code excerpts. SFL was well‐accepted by the participants of our study but ...
Accurately choosing execution runs for software fault localization
CC'06: Proceedings of the 15th international conference on Compiler Construction

Software fault localization involves locating the exact cause of error for a “failing” execution run – a run which exhibits an unexpected behavior. Given such a failing run, fault localization often proceeds by comparing the failing run with a “...
Automated atomicity-violation fixing
PLDI '11

Fixing software bugs has always been an important and time-consuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. However, fixing concurrency bugs is challenging, in part due to non-...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering

November 2005

482 pages

ISBN:1581139934

DOI:10.1145/1101908

General Chair:
David Redmiles
University of California, Irvine, CA
,
Program Chairs:
Tom Ellman
Vassar College
,
Andrea Zisman
City University, UK

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ASE05

Sponsor:

ASE05: International Conference on Automated Software Engineering 2005

November 7 - 11, 2005

CA, Long Beach, USA

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
522
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wu SLo J(2023)The MADAG Strategy for Fault Location TechniquesApplied Sciences10.3390/app1302081913:2(819)Online publication date: 6-Jan-2023
https://doi.org/10.3390/app13020819
Luo FXue MLi JLi KLi SSun GYu H(2023)Configuration Error Localization Based on Delta Debugging2023 International Conference on Blockchain Technology and Information Security (ICBCTIS)10.1109/ICBCTIS59921.2023.00011(27-32)Online publication date: Jun-2023
https://doi.org/10.1109/ICBCTIS59921.2023.00011
Wong WGao RLi YAbreu RWotawa FLi D(2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
https://doi.org/10.1002/9781119880929.ch1
Ge NLiu Y(2022)MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00040(332-343)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00040
Becker MMeyer RRunge TSchaefer Ivan der Wall SWolff S(2022)Model-Based Fault Classification for Automotive SoftwareProgramming Languages and Systems10.1007/978-3-031-21037-2_6(110-131)Online publication date: 5-Dec-2022
https://dl.acm.org/doi/10.1007/978-3-031-21037-2_6
Shen SKolluri ADong ZSaxena PRoychoudhury ACao JHo Au MLin ZYung M(2021)Localizing Vulnerabilities Statistically From One ExploitProceedings of the 2021 ACM Asia Conference on Computer and Communications Security10.1145/3433210.3437528(537-549)Online publication date: 24-May-2021
https://dl.acm.org/doi/10.1145/3433210.3437528
Xu XZou CXue J(2020)Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME46990.2020.00028(196-207)Online publication date: Sep-2020
https://doi.org/10.1109/ICSME46990.2020.00028
Yang YZhou YSun HSu ZZuo ZXu LXu BAtlee JBultan TWhittle J(2019)Hunting for bugs in code coverage tools via randomized differential testingProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00061(488-499)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00061
Vancsics B(2019)Graph-Based Fault LocalizationComputational Science and Its Applications – ICCSA 201910.1007/978-3-030-24305-0_28(372-387)Online publication date: 29-Jun-2019
https://doi.org/10.1007/978-3-030-24305-0_28
Lei YSun CMao XSu Z(2018)How test suites impact fault localisation starting from the sizeIET Software10.1049/iet-sen.2017.002612:3(190-205)Online publication date: Jun-2018
https://doi.org/10.1049/iet-sen.2017.0026
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten