Una propuesta de gestión integrada de modelos y requisitos en líneas de productos software

Resumen

En esta tesis doctoral se presenta una propuesta de Ingeniería de Requisitos (IR) para líneas de productos que integra modelos de análisis del dominio y requisitos en lenguaje natural, Esta propuesta se construye incrementalmente en tres fases: (1) se estudia la reutilización de requisitos textuales, definiendo un método de IR basado en reutilización de requisitos en lenguaje natural, denominado SIREN (SImple REuse of RequiremeNts), validado en entornos industriales, que incluye un modelo de referencia de requisitos, un conjunto de técnicas y de guías, un modelo de procesos y una herramienta de soporte. Se propone también una extensión de SIREN para el desarrollo global de software, denominada SIRENgsd (donde gsd procede de global software development). SIRENgsd se presenta junto con un repositorio de amenazas y salvaguardas para la IR cuando esta se lleva a cabo en entornos globalizados, repositorio que procede de una revisión sistemática de la literatura; (2) se describe SIRENspl (donde spl procede de software product line), una evolución de SIREN con el objetivo de modelar el dominio de una línea de productos, los sistemas teleoperados para mantenimiento de cascos de buques (STO). SIRENspl incorpora técnicas de análisis del dominio seleccionadas y particularizadas a partir de un estudio del estado del arte en IR para líneas de productos, e incluye soporte automatizado específico; y finalmente (3) se plantea el interés de la integración de modelos de ingeniería del software con especificaciones de requisitos en lenguaje natural, en este orden, es decir, implicando la generación de requisitos textuales a partir de modelos de ingeniería del software. El interés de este enfoque se corrobora a través de una revisión sistemática de la literatura, tras la cual se define lo que se denomina una correspondencia de aplanamiento de modelos de análisis del dominio (procedentes del enfoque de SIRENspl) a requisitos en lenguaje natural (procedentes del enfoque de SIREN). Para evaluar la viabilidad de esta propuesta de aplanamiento se realiza una implementación de la misma utilizando técnicas de transformación de modelos, mediante una descripción formal de los modelos de inicio y destino y el uso de un lenguaje de transformaciones declarativo. Finalmente la propuesta de aplanamiento se valida con su aplicación retrospectiva a los modelos resultado del caso de estudio de los STO.