HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization. (13th December 2021)

• Record Type: Journal Article
• Authors: Jang, Jong‐In; Ryu, Duksan; Baik, Jongmoon
• Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor.
• Is Part Of: Software testing, verification & reliability. Volume 32:Number 8(2022)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2021-12-13
• Subjects: fault localization -- higher‐order mutation -- mutation‐based fault localization; Computer software -- Testing -- Periodicals; Computer software -- Verification -- Periodicals; Computer software -- Reliability -- Periodicals; 005.14
• DOI: 10.1002/stvr.1802
• Languages: English
• ISSNs: 0960-0833

Abstract

Abstract: Fault localization techniques are used to deduce the exact source of a failure from a set of failure indications while debugging software and play a crucial role in improving software quality. Mutation‐based fault localization (MBFL) techniques are proposed to localize faults at a finer granularity and with higher accuracy than traditional fault localization techniques. Despite the technique's effectiveness, the immense cost of mutation analysis hinders MBFL's practical application in the industry. Various mutation alternative strategies are utilized to lower the cost of MBFL, but they sacrifice the accuracy of localization results. Higher‐order mutation testing was proposed to search for valuable mutants that drive testing harder and reduce the overall test effort. However, higher‐order mutants (HOMs) never have been used to address the cost problem of MBFL to the extent of our knowledge. This paper proposes a novel, cost‐effective MBFL technique called HOTFUZ, Higher‐Order muTation‐based FaUlt localiZation, that employs HOMs to reduce the cost while minimizing the accuracy degradation. HOTFUZ combines mutants of a program under test into HOMs to decrease the number of mutants by more than half, depending on the order of HOMs. An experimental study is conducted using 65 real‐world faults of CoREBench to assess the proposed approach's cost‐effectiveness. The experimental results show that HOTFUZ outperforms the extant mutation alternative strategies by localizing faults more accurately using the same number of mutants executed. HOTFUZ has three main benefits over existing mutant reduction techniques for MBFL: (a) It keeps the advantage of using the whole set of mutation operators; (b) it does not discard generated mutants randomly for the sake of efficiency; and, finally, (c) it significantly decreases the proportion of equivalent mutants. Abstract : This paper proposes a novel, cost‐effective mutation‐based fault localization technique called HOTFUZ, Higher‐Order muTation‐based FaUlt localiZation, that employs Higher‐Order Mutants (HOMs) to reduce the cost while minimizing the accuracy degradation. HOTFUZ combines mutants of a program under test into HOMs to decrease the number of mutants by more than half, depending on the order of HOMs. The experimental results show that HOTFUZ outperforms the extant mutation alternative strategies by localizing faults more accurately using the same number of mutants executed.