Skip to Main content Skip to Navigation
Journal articles

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
* Corresponding author
1 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Document type :
Journal articles
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download
Contributor : Joao Bosco Ferreira Filho Connect in order to contact the contributor
Submitted on : Tuesday, July 22, 2014 - 10:30:30 AM
Last modification on : Thursday, January 20, 2022 - 5:33:20 PM
Long-term archiving on: : Monday, November 24, 2014 - 9:39:09 PM


Files produced by the author(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. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014. ⟨hal-01026581⟩



Les métriques sont temporairement indisponibles