Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges
read the original abstract
Despite being one of the most basic tasks in software development, debugging is still performed in a mostly manual way, leading to high cost and low performance. To address this problem, researchers have studied promising approaches, such as Spectrum-based Fault Localization (SFL) techniques, which pinpoint program elements more likely to contain faults. This survey discusses the state-of-the-art of SFL, including the different techniques that have been proposed, the type and number of faults they address, the types of spectra they use, the programs they utilize in their validation, the testing data that support them, and their use at industrial settings. Notwithstanding the advances, there are still challenges for the industry to adopt these techniques, which we analyze in this paper. SFL techniques should propose new ways to generate reduced sets of suspicious entities, combine different spectra to fine-tune the fault localization ability, use strategies to collect fine-grained coverage levels from suspicious coarser levels for balancing execution costs and output precision, and propose new techniques to cope with multiple-fault programs. Moreover, additional user studies are needed to understand better how SFL techniques can be used in practice. We conclude by presenting a concept map about topics and challenges for future research in SFL.
This paper has not been read by Pith yet.
Forward citations
Cited by 5 Pith papers
-
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
A black-box LLM approach for fault localization in system-level test code that estimates execution traces from failure logs to rank potential faults with reduced inference cost.
-
Similar Pattern Annotation via Retrieval Knowledge for LLM-Based Test Code Fault Localization
SPARK improves LLM-based test code fault localization by retrieving similar past faults and selectively annotating suspicious lines in new failing tests.
-
Pecker: Bug Localization Framework for Sequential Designs via Causal Chain Reconstruction
Pecker reconstructs causal chains in sequential hardware designs via temporal backtracking with Estimated Minimal Propagation Cycles and trace pruning, localizing 51%/80%/85% of bugs in top-1/3/5 ranks on benchmarks.
-
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Test validators generated via genetic programming using the Ochiai SBFL formula are more accurate and robust to flakiness than alternatives from Tarantula, Naish, decision trees, or rules, with 88.7% alignment to know...
-
LLM-Based Automated Diagnosis Of Integration Test Failures At Google
Auto-Diagnose applies LLMs to summarize and diagnose root causes of integration test failures, reporting 90.14% accuracy on 71 manual cases and positive adoption after Google-wide rollout.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.