Exploiting the Enumeration of All Feature Model Configurations: A New Perspective with Distributed Computing

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01334851
Contributor : José Angel Galindo Duarte <>
Submitted on : Tuesday, June 21, 2016 - 2:20:03 PM
Last modification on : Thursday, February 7, 2019 - 4:48:43 PM
Document(s) archivé(s) le : Thursday, September 22, 2016 - 10:49:37 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01334851, version 1

Citation

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⟩

Share

Metrics

Record views

1175

Files downloads

623