Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

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.
Fichier principal
Vignette du fichier
SPLC2013.pdf (565.3 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00837523 , version 1 (23-06-2013)

Identifiers

  • HAL Id : hal-00837523 , version 1

Cite

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⟩
422 View
309 Download

Share

Gmail Mastodon Facebook X LinkedIn More