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

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-00837523
Contributor : Joao Bosco Ferreira Filho <>
Submitted on : Sunday, June 23, 2013 - 12:47:00 AM
Last modification on : Friday, November 16, 2018 - 1:21:51 AM
Long-term archiving on : Wednesday, April 5, 2017 - 2:54:06 AM

File

SPLC2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00837523, version 1

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

Share

Metrics

Record views

1258

Files downloads

414