Exploiting the enumeration of all feature model configurations: A new perspective with distributed computing
Autor
Galindo J.A.
Acher M.
Tirado J.M.
Vidal C.
Baudry B.
Benavides D.
Resumen
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.
Colecciones
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Article
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 Paper
Exploring efficient analysis alternatives on feature models (2020)
Silva C.V. (Association for Computing Machinery, 2017) -
Article
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)