Mejoras a un modelo léxico mediante mapas conceptuales

Abstract

Para aumentar la probabilidad de éxito de un proyecto de software es fundamental partir de buenas especificaciones de requisitos, pues defectos en ellas se trasladan a subsiguientes modelos y componentes de software. Es por ello que deben realizarse verificaciones tempranas de los modelos que se construyen en el proceso de requisitos. La mayoría de las técnicas de verificación apuntan a detectar defectos del tipo hechos incorrectos, inconsistencias y en menor medida omisiones. Frecuentemente, los modelos en la Ingeniería de Requisitos suelen escribirse en lenguaje natural, lo que propende también a la aparición de ambigüedades. Se presenta una propuesta preliminar de verificación de un modelo léxico utilizando mapas conceptuales, centrada en detectar principalmente omisiones y ambigüedades, y en formular correcciones a las mismas. Esta propuesta fue aplicada a un caso real, donde se comprobó la detección de un número razonable de defectos.