Verificacion Y Validacionp

VERIFICACION Y VALIDACION DE SOFTWARE

Objetivo de este tema:

•Comprender la diferencia entre verificación y validación del software.
•Valorar la inspección del software y el análisis estático como métodos de descubrir fallos y mejorar la calidad del software.
• Conocer las técnicas de pruebas para descubrir fallos en el código.
•Analizar las técnicas específicas para las pruebas de componentesy pruebas de sistemas orientados a objetos.
•Importancia de las herramientas CASE para la verificación de software y apoyar el desarrollo de las pruebas



La verificación y validación es el nombre que se da a los procesos de comprobación y análisis que aseguran que el software que se desarrolla está acorde a su especificación y cumple las necesidades de los clientes. La V&V es un proceso deciclo de vida completo. Inicia con las revisiones de los requerimientos y continúa con las revisiones del diseño y las inspecciones del código hasta la prueba del producto. Existen actividades de V&V en cada etapa del proceso de desarrollo del software.

La verificación y la validación no son la misma cosa, aunque es muy fácil confundirlas, Boehm (1979) expresó la diferencia entre ellas de formasucinta:

Verificación: ¿Estamos construyendo el producto correctamente?
El papel de la verificación comprende comprobar que el software está de acuerdo con su especificación. Se comprueba que el sistema cumple los requerimientos funcionales y no funcionales que se le han especificado.

Validación: ¿Estamos construyendo el producto concreto?
La validación es un proceso más general. Se debe asegurar queel software cumple las expectativas del cliente. Va más allá de comprobar si el sistema está acorde con su especificación, para probar que el software hace lo que el usuario espera a diferencia de lo que se ha especificado.

Es importante llevar a cabo la validación de los requerimientos del sistema de forma inicial. Es fácil cometer errores y omisiones durante la fase de análisis derequerimientos del sistema y, en tales casos, el software final no cumplirá las expectativas de los clientes. Sin embargo, en la realidad, la validación de los requerimientos no puede descubrir todos los problemas que presenta la aplicación. Algunos defectos en los requerimientos solo pueden descubrirse cuando la implementación del sistema es completa.

Dentro del proceso de Verificación y validación seutilizan dos técnicas de comprobación y análisis de sistemas:

1. Las inspecciones del software analizan y comprueban las representaciones del sistema como el documento de requerimientos, los diagramas de diseño y el código fuente del programa. Se aplica a todas las etapas del proceso de desarrollo. Las inspecciones se complementan con algún tipo de análisis automático del texto fuente o de losdocumentos asociados. Las inspecciones del software y los análisis automatizados son técnicas de verificación y validación estáticas puesto que no requieren que el sistema se ejecute.
2. Las pruebas del software consiste en contrastar las respuestas de una implementación del software a series de datos de prueba y examinar las respuestas del software y su comportamiento operacional, para comprobar que sedesempeñe conforme a lo requerido. Llevar a cabo las pruebas es una técnica dinámica de la verificación y validación ya que requiere disponer de un prototipo ejecutable del sistema.


En el esquema se muestra el lugar que ocupan las inspecciones y las pruebas dentro del proceso de desarrollo de software. Las flechas indican las fases del proceso en las que se utilizan las técnicas. Lasinspecciones de software se pueden utilizar en todas las etapas del proceso, mientras que las técnicas de prueba sólo se pueden cuando está disponible un prototipo o código ejecutable.

Las técnicas de inspección incluyen inspección de programas, análisis automatizado de código fuente y verificación formal. Sin embargo las técnicas estáticas sólo pueden comprobar la correspondencia entre un programa y su...