Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Joao Bosco Ferreira Filho Connect in order to contact the contributor
Submitted on : Sunday, June 23, 2013 - 12:47:00 AM
Last modification on : Monday, April 4, 2022 - 10:40:39 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 2:54:06 AM


Files produced by the author(s)


  • HAL Id : hal-00837523, version 1


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. ⟨hal-00837523⟩



Record views


Files downloads