RT Conference Proceedings
T1 Un analizador de modelos de variabilidad basado en el árbol de características.
A1 Horcas-Aguilera, José Miguel
A1 Pinto-Alarcón, Mónica
A1 Fuentes-Fernández, Lidia
K1 Ingeniería del software
AB Un árbol de características generalizado (GFT) es un modelo de variabilidad en el que las restricciones textuales han sido eliminadas manteniendo la semántica del modelo. La ventaja de un GFT es que se puede analizar directamente razonando sobre las relaciones jerárquicas del árbol de características, sin tener que transformar el modelo a SAT o construir un árbol de decisión binario (BDD). Las desventajas de un GFT son que puede contener características duplicadas y que su tamaño en número de características con respecto al modelo de variabilidad original es considerablemente mayor, lo que complica el análisis automático.En este artículo se propone un analizador de modelos GFT basado en las relaciones jerárquicas del árbol de características teniendo en cuenta la existencia de características duplicadas. Se definen un conjunto de operaciones de análisis sobre GFT y se compara su eficiencia con solvers SAT y BDD. El solver GFT mejora la eficiencia del análisis sobre solvers BDD para modelos de hasta diez mil características.
PB Sistedes
YR 2023
FD 2023-09-12
LK https://hdl.handle.net/10630/27562
UL https://hdl.handle.net/10630/27562
LA spa
NO Horcas Aguilera, J. M., Pinto, M., Fuentes, L.: Un analizador de modelos de variabilidad basado en el árbol de características. In: Durán Toro, A. (ed.) Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023). Sistedes (2023). https://hdl.handle.net/11705/JISBD/2023/268
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026