Spectrumbased fault localization in embedded software tu delft. Spectrumbased fault localization sbfl is a technique to assist on the location of program bugs. Sbfl uses the results of test cases and their corresponding code coverage information to estimate the risk of each program component e. Automated fault diagnosis in embedded systems ieee. Statisticsbased fault localization techniques such as spectrumbased fault localization sfl use abstraction of program traces also known as program spectra to find a statistical relationship between source code locations and observed failures. Review of dynamic fault localization approaches based on. As a lightweight automated diagnosis technique it can easily be integrated with existing testing schemes. Sfl uses abstraction of program traces to correlate software component activity with program failures. Introduction spectrumbased software fault localization sfl 1 is a lowcost fault diagnosis approach that is used in several. Automated fault diagnosis is emerging as an important factor in achieving an acceptable and competitive costdependability ratio for embedded systems. Zoltar was developed to detect errors in embedded systems using program in.
As a lightweight automated diagnosis technique it can easily be integrated with. Pdf on the accuracy of spectrumbased fault localization. Estimating the effectiveness of spectrumbased fault. Spectrumbased fault localization sfl shortens the test diagnose repair cycle by reducing the debugging effort. The spectra information is stored in a coverage matrix baudry et al. Program spectra, fault localization, black box diagnosis, error detection, program invariants. Spectrumbased fault localization sbfl techniques cal culate risk values to predict buggy units in a program, but they may cause heavy manual work when the calculated risk values are not. Spectrumbased fault localization does not rely on a model of the system under. On the accuracy of spectrumbased fault localization. Program spectrum based dynamic fault localization is an active research topic in the domain of software automatic debugging.
Spectrumbased fault localization in embedded software. Despite being one of the most basic tasks in software development, debugging is still performed in a mostly manual way, leading to high cost and low performance. In this paper, we survey modelbased diagnosis and spectrumbased fault localization, two stateoftheart approaches to fault diagnosis that jointly cover the combination of hardware and control software typically found in embedded systems. A practical evaluation of spectrumbased fault localization. Automatic software fault localization using generic.
Spectrumbased fault localization in model transformations acm. In our case we could store 25 spectra of 65,536 counters, which was. On the accuracy of spectrumbased fault localization abstract. Spectrumbased fault localization sbfl is a popular technique used in. Program spectrumbased software fault localization pssfl has become one of the hottest research directions due to its high efficiency of localizing faults.
In proceedings of ieeeacm international conference on automated software engineering ase 09. Fault localization, spectrumbased, debugging, testing. Debugging is one of the most timeconsuming activities in software. Spectrumbased fault localization in software product. This work has been carried out as part of the trader project under the responsibility of the embedded systems institute. We decided to call it spectrumbased fault localization sfl because it uses abstraction of program traces, coined program spectra, that were first described by harrold et al. Pdf spectrumbased fault localization shortens the test.
Spectrumbased fault localization shortens the test diagnoserepair cycle by reducing the debugging effort. Pdf locating software components which are responsible for observed failures is the most expensive, errorprone phase in the software development. A spectrumbased fault localization tool researchgate. Assessment of spectrumbased fault localization for. Fault localization is a costly activity in the software development process. Two major approaches can be distinguished, 1 spectrumbased fault localization sfl, and 2 modelbased diagnosis or debugging mbd. Spectrumbased fault localization in model transformations. It aims to localize pontential faults in a faulty program based on a.