Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
1 курс. 2 семестр / учебная практика / статьи / + Simultaneous debugging of software faults.pdf
Скачиваний:
0
Добавлен:
29.01.2021
Размер:
681.74 Кб
Скачать

The Journal of Systems and Software 84 (2011) 573–586

Contents lists available at ScienceDirect

The Journal of Systems and Software

j o u r n a l h o m e p a g e : w w w . e l s e v i e r . c o m / l o c a t e / j s s

Simultaneous debugging of software faults

Rui Abreu a, , Peter Zoeteweij b, Arjan J.C. van Gemund c

a Department of Informatics Engineering, Faculty of Engineering, University of Porto, Rua Dr. Roberto Frias s/n, 4200-465 Porto, Portugal b IntelliMagic B.V., The Netherlands

c Embedded Software Department, Faculty of Electronics, Math, and CS, Delft University of Technology, The Netherlands

a r t i c l e i n f o

Article history:

Received 9 January 2010

Received in revised form 8 September 2010 Accepted 22 November 2010

Available online 7 December 2010

Keywords:

Software fault diagnosis Program spectra

Statistical and reasoning approaches

a b s t r a c t

(Semi-)automated diagnosis of software faults can drastically increase debugging efficiency, improving reliability and time-to-market. Current automatic diagnosis techniques are predominantly of a statistical nature and, despite typical defect densities, do not explicitly consider multiple faults, as also demonstrated by the popularity of the single-fault benchmark set of programs. We present a reasoning approach, called Zoltar-M(ultiple fault), that yields multiple-fault diagnoses, ranked in order of their probability. Although application of Zoltar-M to programs with many faults requires heuristics (trading-off completeness) to reduce the inherent computational complexity, theory as well as experiments on synthetic program models and multiple-fault program versions available from the software infrastructure repository (SIR) show that for multiple-fault programs this approach can outperform statistical techniques, notably spectrum-based fault localization (SFL). As a side-effect of this research, we present a new SFL variant, called Zoltar-S(ingle fault), that is optimal for single-fault programs, outperforming all other variants known to date.

© 2010 Elsevier Inc. All rights reserved.

1. Introduction

Automatic software fault localization (also known as fault diagnosis) techniques aid developers to pinpoint the root cause of detected failures, thereby reducing the debugging effort. Two approaches can be distinguished:

(1)the spectrum-based fault localization (SFL) approach, which correlates software component activity with program failures (a statistical approach) (Abreu et al., 2007; Gupta et al., 2005; Jones et al., 2002; Liu et al., 2005; Renieris and Reiss, 2003; Zeller, 2002), and

(2)the model-based diagnosis or debugging (MBD) approach, which deduces component failure through logic reasoning (de Kleer and Williams, 1987; Feldman et al., 2008; Mayer and Stumptner, 2008; Wotawa et al., 2002).

Because of its low computational complexity, SFL has gained large popularity. Although inherently not restricted to single faults,

This work has been carried out as part of the TRADER project under the responsibility of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under the BSIK03021 program.

Corresponding author.

E-mail addresses: rma@fe.up.pt, rui@computer.org (R. Abreu),

p.zoeteweij@gmail.com (P. Zoeteweij), a.j.c.vangemund@tudelft.nl (A.J.C. van Gemund).

0164-1212/$ – see front matter © 2010 Elsevier Inc. All rights reserved. doi:10.1016/j.jss.2010.11.915

in most cases these statistical techniques are applied and evaluated in a single-fault context, as demonstrated by the benchmark set of programs widely used by researchers,1 which is seeded with only one fault per program (version). In practice, however, the defect density of even small programs typically amounts to multiple faults. Although the root cause of a particular program failure need not constitute multiple faults that are acting simultaneously, many failures will be caused by different faults. Hence, the problem of multiple-fault localization (diagnosis) deserves detailed study.

Unlike SFL, MBD traditionally deals with multiple faults. However, apart from much higher computational complexity, the logic models that are used in the diagnostic inference are typically based on static program analysis. Consequently, they do not exploit execution behavior, which, in contrast, is the essence of the SFL approach. Combining the dynamic approach of SFL with the multiple-fault logic reasoning approach of MBD, in this paper, we present a multiple-fault reasoning approach that is based on the dynamic, spectrum-based observations of SFL. Additional reasons to study the merits of this approach are the following.

Diagnoses are returned in terms of multiple faults, whereas statistical techniques return a one-dimensional list of single fault locations only. The information on fault multiplicity is attractive from parallel debugging point of view (Jones et al., 2007).

1 http://sir.unl.edu/.

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.