Caracterización del proceso de verificación y validación de la ingeniería de software y su aplicación en la gestión de requisitos, diseñando una solución en entorno de software libre

La investigación desarrollada fue enfocada hacia el proceso de Verificación y Validación (V&V) en la Ingeniería de Software, desde el punto de vista de la Ingeniería de Requisitos o Requerimientos y su gestión mediante una herramienta de software libre. Para su realización, se exploró el estado del arte del proceso de V&V, de la Ingeniería de Requisitos, de Herramientas de Verificación y Validación, Herramientas de Gestión de Requisitos y Modelos de evaluación aplicados al tema de V&V. El enfoque seleccionado para la implementación del proceso de Verificación y Validación fue el análisis estático, mientras que para la gestión de los requerimientos, se utilizó la propuesta de la empresa Borland, con las cuales se construyo un modelo propio, el cual se implementó en la herramienta GERESOFT. Con la solución de software libre aportada se obtuvo una manera de organizar y planear los procesos, actividades y tareas de forma jerarquizada y coherente con el dominio de verificación y validación de la Gestión de Requisitos, utilizando un modelo organizativo para V&V pero fundamentado en el Framework de la IEEE, con el cual se puede garantizar una calidad y conformidad de los requisitos evaluados. Adicionalmente, la flexibilidad de GERESOFT, permite su parametrización y adaptación a cualquier proyecto de software, independientemente de la estrategia de desarrollo utilizada. Para trabajos futuros, se recomienda continuar explorando el proceso de V&V desde las otras fases de la Ingeniería de Software. Con relación a GERESOFT, la herramienta puede seguir siendo mejorada, implementándole el soporte para otros enfoques del proceso de V&V, utilizando otras técnicas de V&V, entre otros aspectos a considerar.

• Autores: García Ramírez, Fabio; Puello Marrugo, Plinio
• Fecha de publicación: 2009
• Institución: Universidad Autónoma de Bucaramanga - UNAB
• Repositorio: Repositorio UNAB
• Idioma: spa
• OAI Identifier: oai:repository.unab.edu.co:20.500.12749/3442
• Acceso en línea: http://hdl.handle.net/20.500.12749/3442
• Palabra clave: Verification of computer programs; Validation of computer programs; Software engineering; Systems Engineering; Investigations; Analysis; Verificación de programas para computador; Validación de programas para computador; Ingeniería de software; Ingeniería de sistemas; Investigaciones; Análisis; Ingeniería de software; Herramientas de verificación y validación; Geresoft
• Rights: openAccess
• License: http://creativecommons.org/licenses/by-nc-nd/2.5/co/