mu2: A Refactoring-Based Mutation Testing Framework for Erlang - Testing Software and Systems
Conference Papers Year : 2015

mu2: A Refactoring-Based Mutation Testing Framework for Erlang

Abstract

We present a mutation testing framework for the Erlang functional programming language. Mutation testing evaluates a test set by mutating the original System Under Test (SUT) and measuring the test set’s ability to detect the change. Designing mutation operators can be difficult, since they must modify the original program in a way that is both semantically significant, and a realistic simulation of a potential fault (either a fault with the system in its real context, or a common programmer error). The principal contribution of this work is the mu2 framework, which leverages the Wrangler refactoring API to allow users to specify their own mutation operators. The framework makes it possible to quickly and clearly define mutation operators that can have complex and subtle effects on the SUT. This allows users to define domain-specific operators that can simulate faults that are of particular relevance to their project, rather than relying on standard operators. The mutation testing framework was evaluated in an industrial setting and compared to code coverage test adequacy metrics. It was found to be a valuable compliment to code coverage techniques, since it was able to uncover additional testing limitations that could not be easily identified by coverage alone.
Fichier principal
Vignette du fichier
385214_1_En_11_Chapter.pdf (160.15 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01470148 , version 1 (17-02-2017)

Licence

Identifiers

Cite

Ramsay Taylor, John Derrick. mu2: A Refactoring-Based Mutation Testing Framework for Erlang. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.178-193, ⟨10.1007/978-3-319-25945-1_11⟩. ⟨hal-01470148⟩
91 View
168 Download

Altmetric

Share

More