| Popis: |
Kconfig fue creado para describir la variabilidad del kernel de Linux y, desde entonces, diversos proyectos de desarrollo de código abierto han adoptado este lenguaje. Estos proyectos son altamente configurables y están conformados por un gran número de características o propiedades. Las características en un sistema configurable interactúan de una manera no trivial, y esto puede introducir errores en los productos derivados. Por otro lado, existen herramientas, tal como SPLOT, que soportan el análisis de modelos de features, permitiendo la detección de inconsistencias, detección de características muertas (las cuales no pueden incluirse en ningún modelo) y el número de productos derivables, entre otras funciones. A partir del escenario planteado, en este trabajo se propone la traducción de un modelo de variabilidad especificado en Kconfig a un modelo de características especificado en SPLOT, para poder luego obtener información sobre las propiedades de interés mencionadas anteriormente. |
