Construcción de una herramienta para el análisis de requisitos de software descritos en lenguaje natural

Abstract

El análisis de requisitos de software en lenguaje natural se realiza generalmente a través de un procedimiento de lectura de documentos, búsqueda de defectos y corrección de problemas (revisiones); por lo tanto, el análisis es un proceso costoso, que requiere un gran esfuerzo, lleva mucho tiempo y es propenso a errores. Un enfoque automatizado que detecte ciertos tipos de defectos podría permitir un rápido análisis de requisitos. Este trabajo propone el uso de técnicas de Procesamiento del Lenguaje Natural y Redes de Petri como una manera eficaz de analizar los requisitos descritos utilizando lenguaje natural y escenarios. Este enfoque toma como entrada escenarios y genera un reporte de análisis como resultado. Para facilitar el análisis automatizado, los escenarios se verifican lingüísticamente y transforman en Redes de Petri. Evaluamos los aspectos estructurales y comportamentales de los escenarios y sus redes de Petri resultantes mediante la búsqueda de indicadores que proporcionen evidencia de violación (defectos) de las propiedades de no-ambigüedad, completitud, consistencia y corrección. La viabilidad de la propuesta se demuestra a través de cuatro estudios de caso, los cuales comparan los resultados obtenidos por nuestro enfoque con respecto a soluciones de referencia.