MetaFL: Metamorphic fault localisation using weakly supervised deep learning. Issue 2 (1st February 2023)

• Record Type: Journal Article
• Authors: Fu, Lingfeng; Lei, Yan; Yan, Meng; Xu, Ling; Xu, Zhou; Zhang, Xiaohong
• Is Part Of: IET software. Volume 17:Issue 2(2023)
• Page Start: 137
• Page End: 153
• Publication Date: 2023-02-01
• Subjects: fault diagnosis -- learning (artificial intelligence) -- program testing; Computer software -- Periodicals; Software engineering -- Periodicals; 005.1
• DOI: 10.1049/sfw2.12102
• Languages: English
• ISSNs: 1751-8806

Abstract

Abstract: Deep‐Learning‐based Fault Localisation (DLFL) leverages deep neural networks to learn the relationship between statement behaviour and program failures, showing promising results. However, since DLFL uses program failures as labels to conduct supervised learning, a labelled dataset is a requisite of applying DLFL. A failure is detected by comparing program output with a test oracle which is the standard answer for the given input. The problem is, test oracles are often difficult, or even impossible to acquire in real life, and that has severely restricted the application of DLFL since we have only unlabelled datasets in most cases. Thus, MetaFL: Metamorphic Fault Localisation Using Weakly Supervised Deep Learning is proposed, to provide a weakly supervised learning solution for DLFL. Instead of using test oracles, MetaFL uses metamorphic relations to prescribe expected behaviour of a program, and defines labels of metamorphic testing groups by verifying integrity in each group of test cases. Hence, a coarse‐grained labelled dataset can be built from the originally unlabelled one, with which DLFL can work now, utilising a weakly supervised learning paradigm. The experiments show that MetaFL yields a performance comparable to plain DLFL under ideal condition (i.e. the labels of datasets are available). MetaFL successfully extends the methodology of DLFL from supervised learning to weakly supervised learning, and a fully labelled dataset is no longer mandatory for applying DLFL. Abstract : Instead of using test oracles, MetaFL uses metamorphic relations to prescribe expected behaviour of a program, and defines labels of metamorphic testing groups by verifying integrity in each group of test cases. Hence, a coarse‐grained labelled dataset can be built from the originally unlabelled one, with which DLFL can work now, utilising a weakly supervised learning paradigm.