Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study

Joao Bosco Ferreira Filho 1 Olivier Barais 1 Mathieu Acher 1 Jérôme Le Noir 2 Benoit Baudry 1
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 THALES
Thales Research and Technology [Palaiseau]
Abstract : Model-based Software Product Line (MSPL) engineering ai- ms at deriving customized models corresponding to individ- ual products of a family. MSPL approaches usually promote the joint use of a variability model, a base model expressed in a specific formalism, and a realization layer that maps variation points to model elements. The design space of an MSPL is extremely complex to manage for the engineer, since the number of variants may be exponential and the derived product models have to be conformant to numerous well-formedness and business rules. In this paper, the objec- tive is to provide a way to generate MSPLs, called counterex- amples, that can produce invalid product models despite a valid configuration in the variability model. We provide a systematic and automated process, based on the Common Variability Language (CVL), to randomly search the space of MSPLs for a specific formalism. We validate the effective- ness of this process for three formalisms at different scales (up to 247 metaclasses and 684 rules). We also explore and discuss how counterexamples could guide practitioners when customizing derivation engines, when implementing check- ing rules that prevent early incorrect CVL models, or simply when specifying an MSPL.
Type de document :
Communication dans un congrès
SPLC - 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00837523
Contributeur : Joao Bosco Ferreira Filho <>
Soumis le : dimanche 23 juin 2013 - 00:47:00
Dernière modification le : vendredi 13 janvier 2017 - 14:21:32

Fichier

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

Identifiants

  • HAL Id : hal-00837523, version 1

Collections

Citation

Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Benoit Baudry. Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study. SPLC - 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan. 2013. <hal-00837523>

Partager

Métriques

Consultations de
la notice

629

Téléchargements du document

326