Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto : Completitud de Modelos de Requisitos

Abstract

Uno de los principales problemas que se presenta en la Ingeniería de Requisitos es la incompletitud [Kotonya 98] [Loucopoulos 95] [Firesmith 05]. Esto se refiere a la dificultad en establecer si se ha elicitado y modelado toda la información requerida para desarrollar un sistema de software que cubra las expectativas y necesidades de los clientes y usuarios. Entonces el problema de la incompletitud se vincula directamente con un tipo específico de defecto: las omisiones. Las técnicas de verificación y validación ayudan a mitigar este problema [Kotonya 98] [Loucopoulos 95], como así también, el uso de técnicas de elicitación apropiadas permiten lograr una adquisición de conocimiento más acabada sobre el dominio de la aplicación [Goguen 93]. Pero estas técnicas no permiten eliminar el problema ni tampoco estimar el grado de completitud alcanzado, para ello se requiere usar otro tipo de técnicas. El método de captura y recaptura [Otis 78] es un método predictivo sobre el tamaño de poblaciones, que ha sido utilizado en la Ingeniería de Software para establecer la cantidad de defectos que aún faltan detectar [Wohlin 98] y en la Ingeniería de Requisitos para determinar la cantidad de elementos faltantes en un modelo de requisitos [Doorn 03] [Ridao 06].