Probabilistic fault localisation

Conference item

Efficient fault localisation is becoming increasingly important as software grows in size and complexity. In this paper we present a new formal framework, denoted probabilistic fault localisation (pfl), and compare it to the established framework of spectrum based fault localisation (sbfl). We formally prove that pfl satisfies some desirable properties which sbfl does not, empirically demonstrate that pfl is signifuicantly more effective at finding faults than all known sbfl measures in large scale experimentation, and show pfl has comparable efficiency. Results show that the user investigates 37% more code (and finds a fault immediately in 27% fewer cases) when using the best performing sbfl measures, compared to the pfl framework. Furthermore, we show that it is theoretically impossible to design strictly rational sbfl measures that outperform pfl techniques on a large set of benchmarks.

Authors: Landsberg, D; Chockler, H; Kroening, D

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Springer
• Host title: 12th International Haifa Verification Conference - Hardware and Software: Verification and Testing
• Journal: HVC 2016 - Hardware and Software: Verification and Testing
• Publication date: 2016-11-01
• Acceptance date: 2016-09-05
• DOI: 10.1007/978-3-319-49052-6_5
• ISSN: 0302-9743, 1611-3349
• ISBN: 9783319490519
• Keywords: triage and debug technologies; spectrum based fault localisation; fault localisation