Spectrum-Based Sequential Diagnosis

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2011

Autores

Gonzalez-Sanchez A. (Autor) Outra; Rui Abreu (Autor) FEUP; Gross H.G. (Autor) Outra; van Gemund A.J.C. (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the National Conference on Artificial Intelligence

Páginas: 189-196

25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11

San Francisco, CA, 7 August 2011 through 11 August 2011

Indexação

Scopus - 8 Citações

Outras Informações

ID Authenticus: P-017-DKF

Abstract (EN): We present a spectrum-based, sequential software debugging approach coined SEQUOIA, that greedily selects tests out of a suite of tests to narrow down the set of diagnostic candidates with a minimum number of tests. SEQUOIA handles multiple faults, that can be intermittent, at polynomial time and space complexity, due to a novel, approximate diagnostic entropy estimation approach, which considers the subset of diagnoses that cover almost all Bayesian posterior probability mass. Synthetic experiments show that SEQUOIA achieves much better diagnostic uncertainty reduction compared to random test sequencing. Real programs, taken from the Software Infrastructure Repository, confirm SEQUOIA's better performance, with a test reduction up to 80% compared to random test sequences.

Idioma: Inglês

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

Nº de páginas: 7