Simultaneous debugging of software faults

• Tipo: Artigo em Revista Científica Internacional
• Data: 2011

Autores

Rui Abreu (Autor) FEUP; Peter Zoeteweij (Autor) Outra; Arjan J C van Gemund (Autor) Outra

Revista

Título: Journal of Systems and Software

Vol. 84 Nº 4

Páginas: 573-586

ISSN: 0164-1212

Editora: Elsevier

Indexação

ISI Proceedings

ISI Web of Knowledge - 24 Citações

Scopus - 30 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-002-T2M

DOI: 10.1016/j.jss.2010.11.915

Abstract (EN): (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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 14