Learning test-mutant relationship for accurate fault localisation
Artikel i vetenskaplig tidskrift, 2023

Context: Automated fault localisation aims to assist developers in the task of identifying the root cause of the fault by narrowing down the space of likely fault locations. Simulating variants of the faulty program called mutants, several Mutation Based Fault Localisation (MBFL) techniques have been proposed to automatically locate faults. Despite their success, existing MBFL techniques suffer from the cost of performing mutation analysis after the fault is observed. Method: To overcome this shortcoming, we propose a new MBFL technique named SIMFL (Statistical Inference for Mutation-based Fault Localisation). SIMFL localises faults based on the past results of mutation analysis that has been done on the earlier version in the project history, allowing developers to make predictions on the location of incoming faults in a just-in-time manner. Using several statistical inference methods, SIMFL models the relationship between test results of the mutants and their locations, and subsequently infers the location of the current faults. Results: The empirical study on DEFECTS4J dataset shows that SIMFL can localise 113 faults on the first rank out of 224 faults, outperforming other MBFL techniques. Even when SIMFL is trained on the predicted kill matrix, SIMFL can still localise 95 faults on the first rank out of 194 faults. Moreover, removing redundant mutants significantly improves the localisation accuracy of SIMFL by the number of faults localised at the first rank up to 51. Conclusion: This paper proposes a new MBFL technique called SIMFL, which exploits ahead-of-time mutation analysis to localise current faults. SIMFL is not only cost-effective, as it does not need a mutation analysis after the fault is observed, but also capable of localising faults accurately.

Fault localisation

Mutation testing

Författare

Jinhan Kim

Korea Advanced Institute of Science and Technology (KAIST)

Gabin An

Korea Advanced Institute of Science and Technology (KAIST)

Robert Feldt

Chalmers, Data- och informationsteknik, Software Engineering

Shin Yoo

Korea Advanced Institute of Science and Technology (KAIST)

Information and Software Technology

0950-5849 (ISSN)

Vol. 162 107272

Informationsteori för programvarutestning

Vetenskapsrådet (VR) (2015-04913), 2016-01-01 -- 2019-12-31.

Automatiserad testning av gränser för kvalitet på AI/ML modeller (AQUAS)

Vetenskapsrådet (VR) (2020-05272), 2021-01-01 -- 2024-12-31.

Ämneskategorier

Bioinformatik (beräkningsbiologi)

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1016/j.infsof.2023.107272

Mer information

Senast uppdaterat

2023-06-30