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.
Type de document :
Communication dans un congrès
Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.178-193, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_11〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01470148
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 10:25:22
Dernière modification le : mercredi 31 janvier 2018 - 15:14:02
Document(s) archivé(s) le : jeudi 18 mai 2017 - 14:12:09

Fichier

385214_1_En_11_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ramsay Taylor, John Derrick. mu2: A Refactoring-Based Mutation Testing Framework for Erlang. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.178-193, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_11〉. 〈hal-01470148〉

Partager

Métriques

Consultations de la notice

25

Téléchargements de fichiers

10