Modelando la variabilidadmétodos formales para la representación de líneas de productos software

Resumen

El desarrollo de aplicaciones software basado en líneas de productos (SPLs) permite a los desarrolladores modelar sistemas en función de la relación entre sus componentes. Así, es posible estudiar la variabilidad y características comunes entre ellos. Este paradigma de desarrollo se remonta a finales de los años 80. Desde entonces, se han realizado numerosos aportes sobre las distintas maneras de modelar las relaciones entre sus componentes. Inicialmente, estas relaciones fueron definidas de forma gráfica, sirviendo como soporte para la toma de decisiones en las fases iniciales del diseño de los productos. Sin embargo, para detectar errores de diseño en fases tempranas del proceso de desarrollo, es necesario poder realizar comprobaciones automáticas sobre estos modelos. El objetivo principal de esta tesis doctoral es definir nuevos métodos formales para la representación de SPLs, teniendo en cuenta aquellos modelos que carezcan de formalismos matemáticos para su representación. Una vez definidos, se generará información que permita: i) Determinar si un modelo genera productos válidos; ii) Establecer diferencias entre distintos productos válidos; iii) Comprobar si un producto es mejor que otro en función de su coste de producción; iv) Detectar aquellos componentes más utilizado entre los distintos productos válidos, y así asignar de manera eficiente recursos al realizar pruebas unitarias. El contenido de esta disertación y todos sus soportes, se encuentran disponibles en la siguiente URL: http://ccamacho.github.io/phd/