Rui Maranhão

Citation:

Abreu R, Zoeteweij P, Golsteijn R, Van Gemund AJC.  2008.  Automatic Fault Diagnosis in Embedded Software. Proceedings of the 10th Philips Software Conference. :10.

Abstract:

Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this paper we discuss the application of a specific automated debugging technique, namely software fault localization through the analysis of program spectra. An important aspect of this technique is the similarity coefficient used to rank potential fault locations. We evaluate the effectiveness of spectrum-based fault localization in a set of benchmark programs. In this context, our experiments indicate that a particular coefficient consistently outperforms the coefficients currently used by other tools. Furthermore, we also applied this technique to an industrial TV software product. We discuss why it is particularly well suited for this application domain, and through experiments on an industrial test case we demonstrate that it can lead to highly accurate diagnoses of realistic errors.

Citation Key: