Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction

06/16/2023
by   Dylan Callaghan, et al.
0

Spectrum-based fault localization (SBFL) works well for single-fault programs but its accuracy decays for increasing fault numbers. We present FLITSR (Fault Localization by Iterative Test Suite Reduction), a novel SBFL extension that improves the localization of a given base metric specifically in the presence of multiple faults. FLITSR iteratively selects reduced versions of the test suite that better localize the individual faults in the system. This allows it to identify and re-rank faults ranked too low by the base metric because they were masked by other program elements. We evaluated FLITSR over method-level spectra from an existing large synthetic dataset comprising 75000 variants of 15 open-source projects with up to 32 injected faults, as well as method-level and statement-level spectra from a new dataset with 326 true multi-fault versions from the Defects4J benchmark set containing up to 14 real faults. For all three spectrum types we consistently see substantial reductions of the average wasted efforts at different fault levels, of 30 metric, and generally similarly large increases in precision and recall, albeit with larger variance across the underlying projects. For the method-level real faults, FLITSR also substantially outperforms GRACE, a state-of-the-art learning-based fault localizer.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/03/2022

Exception-Driven Fault Localization for Automated Program Repair

Automated Program Repair (APR) techniques typically exploit spectrum-bas...
research
06/27/2019

Evaluating data-flow coverage in spectrum-based fault localization

Background: Debugging is a key task during the software development cycl...
research
04/12/2021

DockerMock: Pre-Build Detection of Dockerfile Faults through Mocking Instruction Execution

Continuous Integration (CI) and Continuous Deployment (CD) are widely ad...
research
11/27/2018

Fault Detection for Timed FSM with Timeouts by Constraint Solving

Recently, an efficient constraint solving-based approach has been develo...
research
11/10/2015

Fault Diagnosis of Rolling Element Bearings with a Spectrum Searching Method

Rolling element bearing faults in rotating systems are observed as impul...
research
08/10/2021

Searching for Multi-Fault Programs in Defects4J

Defects4J has enabled numerous software testing and debugging research w...
research
07/16/2014

Faults in Linux 2.6

In August 2011, Linux entered its third decade. Ten years before, Chou e...

Please sign up or login with your details

Forgot password? Click here to reset