Exploiting the enumeration of all feature model configurations: A new perspective with distributed computing
MetadataShow full item record
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. We tackle the challenge of how to scale the existing enumeration techniques by relying on distributed computing. We show that the use of distributed computing techniques might offier practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines. © 2016 ACM.
Showing items related by title, author, creator and subject.
A proposal of feature model with join point interface for the modeling of software product lines [Propuesta de Modelo de Características con Interfaz de Punto de Unión para el Modelamiento de Líneas de Productos de Software] (2020) Vidal-Silva C.L.; Bustamante M.A.; Rubio J.M.; Carter L.E. (Centro de Informacion Tecnologica, 2018)
Conference PaperSilva C.V. (Association for Computing Machinery, 2017)
Vulnerability of calbindin, calretinin and parvalbumin in a transgenic/knock-in APPswe/PS1dE9 mouse model of Alzheimer disease together with disruption of hippocampal neurogenesis (2020) Verdaguer E.; Brox S.; Petrov D.; Olloquequi J.; Romero R.; de Lemos M.L.; Camins A.; Auladell C. (Elsevier Inc., 2015)