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.
Type de document :
Communication dans un congrès
Software Product Line Conference, Sep 2016, Beijing, China
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01334851
Contributeur : José Angel Galindo Duarte <>
Soumis le : mardi 21 juin 2016 - 14:20:03
Dernière modification le : mercredi 2 août 2017 - 10:08:28
Document(s) archivé(s) le : jeudi 22 septembre 2016 - 10:49:37

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de
la notice

673

Téléchargements du document

287