%0 Conference Proceedings
%T mu2: A Refactoring-Based Mutation Testing Framework for Erlang
%+ University of Sheffield [Sheffield]
%A Taylor, Ramsay
%A Derrick, John
%Z Part 4: Model and System Testing
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 27th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Sharjah and Dubai, United Arab Emirates
%Y Khaled El-Fakih
%Y Gerassimos Barlas
%Y Nina Yevtushenko
%3 Testing Software and Systems
%V LNCS-9447
%P 178-193
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_11
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01470148/document
%2 https://inria.hal.science/hal-01470148/file/385214_1_En_11_Chapter.pdf
%L hal-01470148
%U https://inria.hal.science/hal-01470148
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447