Towards Lightweight Fault Localization in Procedural Programs

In this paper we present a novel extension of a lightweight model for fault localization that allows for modeling procedural programs. The procedural programming paradigm is often used in (safety-critical) control software where a program’s verification and subsequent fault localization is of utmost importance. In this article we present results from our recent case study relying on this kind of programs. Notably, our lightweight model is always able to localize the misbehavior’s real cause.

[1]  Franz Wotawa.  Debugging Hardware Designs Using a Value-Based Model , 2004, Applied Intelligence.

[2]  Ron I. Kuper.  Dependency-Directed Localization of Software Bugs , 1989 .

[3]  Markus Stumptner,et al.  Model-Based Diagnosis of Hardware Designs , 1999, Artif. Intell..

[4]  Franz Wotawa,et al.  Introducing Alias Information into Model-Based Debugging , 2004, ECAI.

[5]  Markus Stumptner,et al.  Using Design Information to Identify Structural Software Faults , 2001, Australian Joint Conference on Artificial Intelligence.

[6]  Markus Stumptner,et al.  Extending diagnosis to debug programs with exceptions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[7]  Franz Wotawa,et al.  Fault Localization Based on Abstract Dependencies , 2005, IEA/AIE.

[8]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[9]  Franz Wotawa,et al.  Model-Based Diagnosis or Reasoning from First Principles , 2003, IEEE Intell. Syst..

[10]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[11]  Daniel Jackson.  Aspect: detecting bugs with abstract dependences , 1995, TSEM.

[12]  Franz Wotawa,et al.  Automated source-level error localization in hardware designs , 2006, IEEE Design & Test of Computers.