Agregando semántica a técnicas de predicción de completitud en modelos de requisitos

Abstract

En casi todas las ramas de la ingeniería se genera un bosquejo/maqueta/plano/diagrama que representa el artefacto a construir. A través de él, se planifica la construcción de ese artefacto y se asegura que responda a las expectativas de los clientes. Sin embargo, en la Ingeniería de Software la dificultad se centra justamente en la representación del producto a construir, pues dicho producto (el software) es en sí mismo una representación parcial del mundo real. Esto requiere prestar especial atención a la generación de dichos modelos para que sean precisos, correctos y completos. El proceso de desarrollo de software debe arrancar elaborando modelos de requisitos con la calidad apropiada, siendo la completitud de los mismos una característica primordial. Aplicar técnicas de verificación y validación de los modelos debe formar parte de las actividades continuas del proceso de desarrollo, aunque ellas no permiten asegurar el grado de completitud alcanzado. Es necesario recurrir a técnicas predictivas que realicen estimaciones del tamaño esperado del modelo de requisitos. Se propone entonces agregar análisis semántico a la aplicación de estas técnicas predictivas, en particular el Método de Captura y Recaptura. Esto conllevará a establecer mejoras al proceso de construcción de los modelos de requisitos.