Combining weak and strong mutation for a noninterpretive Java mutation system

• Published in: Software testing, verification & reliability verification & reliability, 2013-12, Vol.23 (8), p.647-668
• Main Authors: Kim, Sang-Woon, Ma, Yu-Seung, Kwon, Yong-Rae
• Format: Article
• Language: English
• Subjects: Computer programs; MuJava; mutation testing; noninterpretive mutation system; weak mutation
• ISSN: 0960-0833; 1099-1689
• DOI: 10.1002/stvr.1480

SUMMARYBecause of the computationally expensive cost of mutation testing, automated system support is indispensable for conducting mutation testing. Mutation systems can be classified into interpretive and noninterpretive, but recent systems are noninterpretive. Weak mutation is a well‐known cost reduction method of mutation testing, but it is not directly applicable to noninterpretive mutation systems. To address the problem and take advantage of the efficiency of weak mutation, this paper presents a combined weak and strong mutation for noninterpretive Java mutation systems. The new term ‘serialmutant’ is defined as a specialized program to conduct weak mutation against all mutants in an execution and report only weakly killed mutants as strong mutation candidates. Then strong mutation is conducted only for those reported mutants. The paper also describes an implementation based on a previous Java mutation tool, MuJava. Method‐level mutation operators for Java are also redesigned. Experimental results show that the proposed approach efficiently improves the mutation cost in a noninterpretive mutation system. Copyright © 2012 John Wiley & Sons, Ltd. This paper presents a combined weak and strong mutation for noninterpretive Java mutation system. The new term ‘serialmutant’ is defined as a specialized program to conduct weak mutation against all mutants in an execution and report only weakly killed mutants as strong mutation candidates. Then strong mutation is conducted only for those reported mutants.