Featured model-based mutation analysis

Abstract : Model-based mutation analysis is a powerful but expensive testing technique. We tackle its high computation cost by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modelling framework for mutation analysis inspired by the software product line paradigm. It uses behavioural variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.
Type de document :
Communication dans un congrès
ICSE '16 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.655 - 666, 2016, 〈10.1145/2884781.2884821〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01406512
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 14:37:37
Dernière modification le : mercredi 16 mai 2018 - 11:24:11

Identifiants

Citation

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, et al.. Featured model-based mutation analysis. ICSE '16 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.655 - 666, 2016, 〈10.1145/2884781.2884821〉. 〈hal-01406512〉

Partager

Métriques

Consultations de la notice

384