Document type
Conference papers
Document subtype
Full paper
Title
Diagnosing Software Faults Using Multiverse Analysis
Participants in the publication
Prantik Chatterjee (Author)
Abhijit Chatterjee (Author)
Jose Campos (Author)
Dep. Informática
LASIGE
Rui Abreu (Author)
Subhajit Roy (Author)
Summary
Spectrum-based Fault Localization (SFL) approaches aim to efficiently localize faulty components from examining program behavior. This is done by collecting the execution patterns of various combinations of components and the corresponding outcomes into a spectrum. Efficient fault localization depends heavily on the quality of the spectra. Previous approaches, including the current state-of-the-art Density- Diversity-Uniqueness (DDU) approach, attempt to generate “good” test-suites by improving certain structural properties of the spectra. In this work, we propose a different approach, Multiverse Analysis, that considers multiple hypothetical universes, each corresponding to a scenario where one of the components is assumed to be faulty, to generate a spectrum that attempts to reduce the expected worst-case wasted effort over all the universes. Our experiments show that the Multiverse Analysis not just improves the efficiency of fault localization but also achieves better coverage and generates smaller test-suites over DDU, the current state-of-the-art technique. On average, our approach reduces the developer effort over DDU by over 16% for more than 92% of the instances. Further, the improvements over DDU are indeed statistically significant on the paired Wilcoxon Signed-rank test.
Date of Publication
2020-07
Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA
Event
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Publication Identifiers
Address
Yokohama, Japan
Publisher
International Joint Conferences on Artificial Intelligence Organization
Document Identifiers
DOI -
https://doi.org/10.24963/ijcai.2020/226
URL -
http://dx.doi.org/10.24963/ijcai.2020/226
Rankings
CORE A* (2021) -