Análisis de Modelos de Variabilidad Especificados en Kconfig

ROCÍO GONZÁLEZ; SILVIO GONNET; MATÍAS SEQUEIRA

Santa Fe

Congreso; 5to Congreso Nacional de Ingeniería Informática / Sistemas de Información CONAIISI 2017; 2017

RIISIC - UTN FRSF

La industria de software ha comenzado a centrar el desarrollo de sus productos siguiendo un enfoque de líneas de productos de software. En este tipo de desarrollo la industria del software requiere de herramientas que permitan especificar la variabilidad de sus productos. En la actualidad, existe una marcada tendencia al empleo del lenguaje Kconfig para expresar tal variabilidad. Asimismo, el alto nivel de variabilidad y las interdependencias entre características posibles en los distintos productos requieren de herramientas que brinden soporte en el análisis de la variabilidad, identificando posibles inconsistencias. En la literatura existen distintas propuestas para realizar tales análisis. Sin embargo, estas alternativas están basadas en modelos de características, no incluyendo a modelos expresados en Kconfig. A partir del escenario planteado, en este trabajo se propone la construcción de una herramienta de software que traduce un modelo de variabilidad especificado en Kconfig a un modelo de características. Este modelo traducido es analizado mediante el soporte de herramientas existentes para el análisis de la variabilidad de modelos de características.