PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models

Aymeric Hervieu 1 Benoit Baudry 1 Arnaud Gotlieb 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Feature models are commonly used to specify variability in software product lines. Several tools support feature models for variability management at different steps in the development process. However, tool support for test configuration generation is currently limited. This test generation task consists in systematically selecting a set of configurations that represent a relevant sample of the variability space and that can be used to test the product line. In this paper we propose PACOGEN to analyze feature models and automatically generate a set of configurations that cover all pairwise interactions between features. PACOGEN relies on constraint programming to generate configurations that satisfy all constraints imposed by the feature model and to minimize the set of the tests configurations. This work also proposes an extensive experiment, based on the state-of-the art SPLOT feature models repository, showing that PACOGEN scales over variability spaces with millions of configurations and covers pairwise with less configurations than other available tools.
Type de document :
Communication dans un congrès
Proc. of Int. Symp. on Soft. Reliability Engineering (ISSRE'11), Nov 2011, Hiroshima, Japan. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00699558
Contributeur : Arnaud Gotlieb <>
Soumis le : lundi 21 mai 2012 - 11:24:52
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : mercredi 22 août 2012 - 02:25:25

Fichier

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

Identifiants

  • HAL Id : hal-00699558, version 1

Citation

Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb. PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models. Proc. of Int. Symp. on Soft. Reliability Engineering (ISSRE'11), Nov 2011, Hiroshima, Japan. 2011. 〈hal-00699558〉

Partager

Métriques

Consultations de la notice

864

Téléchargements de fichiers

314