Spectrum-Based Multiple Fault Localization

Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J. C. van

doi:10.1109/ase.2009.25

Cited by 291 publications

(254 citation statements)

References 28 publications

Supporting

Mentioning

251

Contrasting

Order By: Relevance

“…(For a detailed description see [4].) Then we explain in more detail how we carry out these three parts of our approach.…”

Section: Approachmentioning

confidence: 99%

“…Recently a novel reasoning technique over abstractions of program traces, combining the best characteristics of both worlds, has been proposed [4]. It has low time/space complexity (like statistics-based techniques), yet with high diagnostic accuracy (like reasoning techniques).…”

Section: Related Workmentioning

confidence: 99%

“…SMFL is a lightweight technique that takes as its input a form of trace abstraction and produces a list of likely fault candidates, ordered by probability of being the true fault explanation [1,4]. Impressive diagnostic results for design-time testing and debugging of both hardware and software systems have been achieved using SMFL [1].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Architecture-Based Run-Time Fault Diagnosis

Casanova

Schmerl

Garlan

et al. 2011

Software Architecture

Self Cite

View full text Add to dashboard Cite

Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection and repair could be greatly enhanced by run-time fault diagnosis and localization, since it would allow the repair mechanisms to focus adaptation effort on the parts most in need of attention. In this paper we describe an approach to run-time fault diagnosis that combines architectural models with spectrum-based reasoning for multiple fault localization. Spectrum-based reasoning is a lightweight technique that takes a form of trace abstraction and produces a list (ordered by probability) of likely fault candidates. We show how this technique can be combined with architectural models to support run-time diagnosis that can (a) scale to modern distributed software systems; (b) accommodate the use of black-box components and proprietary infrastructure for which one has neither a specification nor source code; and (c) handle inherent uncertainty about the probable cause of a problem even in the face of transient faults and faults that arise only when certain combinations of system components interact.

show abstract

“…(For a detailed description see [4].) Then we explain in more detail how we carry out these three parts of our approach.…”

Section: Approachmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Architecture-Based Run-Time Fault Diagnosis

Casanova

Schmerl

Garlan

et al. 2011

Software Architecture

Self Cite

View full text Add to dashboard Cite

show abstract

“…Spectrum-based fault localization [23]. This technique records information about which system components are executed during a run of the system.…”

Section: Software Fault Localizationmentioning

confidence: 99%

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

Dwyer

Purandare

Person

2010

Runtime Verification

View full text Add to dashboard Cite

Abstract. Runtime verification has primarily been developed and evaluated as a means of enriching the software testing process. While many researchers have pointed to its potential applicability in online approaches to software fault tolerance, there has been a dearth of work exploring the details of how that might be accomplished. In this paper, we describe how a component-oriented approach to software health management exposes the connections between program execution, error detection, fault diagnosis, and recovery. We identify both research challenges and opportunities in exploiting those connections. Specifically, we describe how recent approaches to reducing the overhead of runtime monitoring aimed at error detection might be adapted to reduce the overhead and improve the effectiveness of fault diagnosis.

show abstract

“…Spectrumbased fault localization is a statistical approach that diagnoses failing components by correlating failures in the output with execution traces [115]. Van Gemund et al combined both approaches to be applied on the combination of embedded system and the corresponding embedded software [9,47].…”

Section: Fault Diagnosismentioning

confidence: 99%

Managing software complexity of adaptive systems

Roo¹

View full text Add to dashboard Cite

Spectrum-Based Multiple Fault Localization

Cited by 291 publications

References 28 publications

Architecture-Based Run-Time Fault Diagnosis

Architecture-Based Run-Time Fault Diagnosis

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

Managing software complexity of adaptive systems

Contact Info

Product

Resources

About