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...

Full description

Saved in:
Bibliographic Details
Published inAdvances in Applied Artificial Intelligence pp. 660 - 667
Main Authors Peischl, Bernhard, Soomro, Safeeullah, Wotawa, Franz
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2006
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
control software
Exact sciences and technology
model-based software debugging
procedural abstraction
software debugging
Localization
Safety-critical software
Artificial intelligence
Modeling
Program verification
Control program
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:3540354530
9783540354536
ISSN:0302-9743
1611-3349
DOI:10.1007/11779568_71