Towards lightweight fault localization in procedural programs

Authors:
Bernhard Peischl;Safeeullah Soomro;Franz Wotawa
Affiliations:
Technische Universität Graz, Intitute for Software Technology (IST), Graz, Austria;Technische Universität Graz, Intitute for Software Technology (IST), Graz, Austria;Technische Universität Graz, Intitute for Software Technology (IST), Graz, Austria
Venue:
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Year:
2006

Citing 10
Cited 1

A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Aspect: detecting bugs with abstract dependences

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based diagnosis of hardware designs

Artificial Intelligence
Debugging Hardware Designs Using a Value-Based Model

Applied Intelligence
Using Design Information to Identify Structural Software Faults

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model-Based Diagnosis or Reasoning from First Principles

IEEE Intelligent Systems
Dependency-Directed Localization of Software Bugs

Dependency-Directed Localization of Software Bugs
Automated Source-Level Error Localization in Hardware Designs

IEEE Design & Test
Fault localization based on abstract dependencies

IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence

Relationship between the verification based model and the functional dependences model using program specification

ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.