Exploiting the Enumeration of All Feature Model Configurations - Archive ouverte HAL Access content directly
Conference Papers Year :

Exploiting the Enumeration of All Feature Model Configurations

Mathieu Acher
Cristian Vidal
  • Function : Author
  • PersonId : 983883
Benoit Baudry
  • Function : Author
  • PersonId : 838700


Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. The key idea is to pre-compile configurations so that reasoning operations (queries and transformations) can then be performed in polytime. We tackle the challenge of how to scale the existing enu-meration techniques. We show that the use of distributed computing techniques might offer practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines.
Fichier principal
Vignette du fichier
paper.pdf (709.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01334851 , version 1 (21-06-2016)


  • HAL Id : hal-01334851 , version 1


José Angel Galindo Duarte, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, et al.. Exploiting the Enumeration of All Feature Model Configurations: A New Perspective with Distributed Computing. Software Product Line Conference, Sep 2016, Beijing, China. ⟨hal-01334851⟩
379 View
714 Download


Gmail Facebook Twitter LinkedIn More