ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Journal Article Combining weak and strong mutation for a noninterpretive Java mutation system
Cited 15 time in scopus Share share facebook twitter linkedin kakaostory
Authors
Sang-Woon Kim, Yu-Seung Ma, Yong-Rae Kwon
Issue Date
2013-12
Citation
Software Testing, Verification and Reliability, v.23, no.8, pp.647-668
ISSN
0960-0833
Publisher
John Wiley & Sons
Language
English
Type
Journal Article
DOI
https://dx.doi.org/10.1002/stvr.1480
Abstract
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. Copyright © 2012 John Wiley & Sons, Ltd.
KSP Keywords
Mutation Testing, Reduction method, automated system, computationally expensive, cost reduction, mutation operators, strong mutation, system support, weak mutation