Generating Counterexamples of Model-based Software Product Lines

Joao Bosco Ferreira Filho 1, * Olivier Barais 1 Mathieu Acher 1 Jérôme Le Noir 2 Axel Legay 3 Benoit Baudry 1
* Auteur correspondant
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In a Model-based Software Product Line (MSPL), the variability of the domain is characterized in a variability model and the core artifacts are base models conforming to a modeling language (also called metamodel). A realization model connects the features of the variability model to the base model elements, triggering operations over these elements based on a configuration. 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 conforming to numerous well-formedness and business rules. In this paper, the objective is to provide a way to generate MSPLs, called counterexamples (also called anti-patterns), that can produce invalid product models despite a valid configuration in the variability model. We describe the foundations and motivate the usefulness of counterexamples (e.g., inference of guidelines or domain-specific rules to avoid earlier the specification of incorrect mappings; testing oracles for increasing the robustness of derivation engines given a modeling language). We provide a generic process, based on the Common Variability Language (CVL) to randomly search the space of MSPLs for a specific modelling language. We develop LineGen a tool on top of CVL and modeling technologies to support the methodology and the process. LineGen targets different scenarios and is flexible to work either with just a domain metamodel as input or also with pre-defined variability models and base models. We validate the effectiveness of this process for three formalisms at different scales (up to 247 metaclasses and 684 rules). We also apply the approach in the context of a real industrial scenario involving a large-scale metamodel.
Type de document :
Article dans une revue
Software Tools for Technology Transfer (STTT), Springer, 2014
Liste complète des métadonnées
Contributeur : Joao Bosco Ferreira Filho <>
Soumis le : mardi 22 juillet 2014 - 10:30:30
Dernière modification le : jeudi 9 février 2017 - 16:03:17
Document(s) archivé(s) le : lundi 24 novembre 2014 - 21:39:09


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01026581, version 1


Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, et al.. Generating Counterexamples of Model-based Software Product Lines. Software Tools for Technology Transfer (STTT), Springer, 2014. <hal-01026581>



Consultations de
la notice


Téléchargements du document