Exploiting the Enumeration of All Feature Model Configurations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Exploiting the Enumeration of All Feature Model Configurations

Mathieu Acher
Cristian Vidal
  • Fonction : Auteur
  • PersonId : 983883
Benoit Baudry
  • Fonction : Auteur
  • PersonId : 838700

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01334851 , version 1

Citer

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⟩
429 Consultations
784 Téléchargements

Partager

Gmail Facebook X LinkedIn More