Validación y verificación de requisitos de software en proyectos basados en desarrollo continuo usando técnicas de PLN

Abstract

El ciclo de vida de un proyecto de software parte de la gestión adecuada de sus requisitos, siendo esta un área de conocimiento que reúne las actividades de levantamiento, análisis, especificación, validación y administración de estos durante todo el ciclo de desarrollo. La especificación básica de requisitos, expresada en lenguaje natural, es transformada a lo largo del ciclo de desarrollo en artefactos que finalmente son desplegados y puestos en funcionamiento como producto. Un problema identificado en la ingeniería de software es la no correspondencia entre los requisitos funcionales especificados para el producto y las características que son finalmente incorporadas en el producto final. Es decir, la no correspondencia entre lo deseado, lo esperado y lo finalmente alcanzado en el proceso de instanciación. Entre otros contextos, en la instanciación de arquitecturas de microservicios de software (MSA), se ha extendido el uso de desarrollo continuo (DC), como un proceso iterativo de desarrollo de aplicaciones que incluye Integración continua (IC), entrega continua, pruebas continuas (TC) y despliegue continuo. Este escenario facilita acompañar el ciclo de desarrollo con una verificación y validación continua de la transformación de los requisitos funcionales en cada etapa del proceso, hasta quedar completamente incorporados en el producto entregado. En la formulación precisa del requisito que lo haga rastreable, comprobable y verificable, es crucial poder hacer el seguimiento de este durante todas las etapas del desarrollo, garantizando el mejoramiento de las condiciones de calidad del producto. Se plantea el uso de técnicas de procesamiento de lenguaje natural (PLN), enriquecidas con modelos de dominio, para hacer el seguimiento, validación y verificación de cada requisito funcional. Asimismo, se han identificado algunos vacíos en el conocimiento como: el problema de generalización de dominio basado en una frontera lingüística, la limitación de la investigación en contextos específicos de dominio, y el acceso a datos de dominio limitado. Paralelamente, la industria ha presentado la necesidad de hacer rastreo del requisito desde su levantamiento hasta la etapa de testeo. Las nuevas tendencias de la industria, exigen la eficiencia de los equipos desarrolladores, esta es la razón por la que las metodologías ágiles han cobrado protagonismo a la par del desarrollo continuo; es así como objetivo de este trabajo está direccionado hacia la búsqueda del enriquecimiento de las técnicas estadísticas en el PLN a través de un sistema de reglas de dominio que permita no solo la formulación precisa, minimizando las ambigüedades del lenguaje natural; sino la automatización a través de la creación de artefactos que permitan hacer el rastreo del requisito en todas las etapas del desarrollo aportando de esta manera a una posible solución en el tratamiento de estos en la práctica de la Ingeniería de Software.