A Variability Perspective of Mutation Analysis

Xavier Devroey 1 Gilles Perrouin 1 Maxime Cordy 1 Mike Papadakis 2 Axel Legay 3 Pierre-Yves Schobbens 1
2 SERVAL - Security Design and Validation Research Group
SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Mutation testing is an effective technique for either improving or generating fault-finding test suites. It creates defective or incorrect program artifacts of the program under test and evaluates the ability of test suites to reveal them. Despite being effective, mutation is costly since it requires assessing the test cases with a large number of defective artifacts. Even worse, some of these artifacts are behaviourally "equivalent" to the original one and hence, they unnecessarily increase the testing effort. We adopt a variability perspective on mutation analysis. We model a defective artifact as a transition system with a specific feature selected and consider it as a member of a mutant family. The mutant family is encoded as a Featured Transition System, a compact formalism initially dedicated to model-checking of software product lines. We show how to evaluate a test suite against the set of all candidate defects by using mutant families. We can evaluate all the considered defects at the same time and isolate some equivalent mutants. We can also assist the test generation process and efficiently consider higher-order mutants.
Type de document :
Communication dans un congrès
FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. ACM, pp.841-844, 2014, 〈10.1145/2635868.2666610〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01087644
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 14:29:20
Dernière modification le : vendredi 16 novembre 2018 - 01:39:25
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:16:52

Fichier

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

Identifiants

Citation

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, et al.. A Variability Perspective of Mutation Analysis. FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. ACM, pp.841-844, 2014, 〈10.1145/2635868.2666610〉. 〈hal-01087644〉

Partager

Métriques

Consultations de la notice

423

Téléchargements de fichiers

191