Verificacion y validacion de sofware

Verificación y validación

Objetivos

• Introducir la verificación y validación del software y discutir la diferencia entre ellos (V & V)
• Describir el proceso de inspección del programa y su papel en la V & V
• Explicar el análisis estático como una técnica de verificación
• Describir el proceso de desarrollo de software de Sala Limpia

Contenidos

• Planificaciónde verificación y validación
• inspecciones de software
• Análisis estático automatizado
• Verificación y métodos formales

Verificación y validación

• Verificación: “¿Estamos construyendo el producto corréctamente?”.
• El software debería ajustarse a su especificación
• Validación:
“¿estamos construyendo el producto correcto?”.
• El softwaredebería hacer lo que el cliente realmente reclama.

El proceso V & V

• Es el proceso de todo un ciclo vital: La V & V debe aplicarse en cada etapa del software.
• Tiene dos objetivos principales
– El descubrimiento de defectos en el sistema;
– La evaluacíón de si el sistema es útil y utilizable en una situación operacional o no.

Metas de la V&V

• Laverificación y la validación deberían establecer la confianza de que el software es adecuado al propósito.
• Esto NO significa que esté completamente libre de defectos.
• Sino que debe ser lo suficientemente bueno para su uso previsto y el tipo de uso determinará el grado de confianza que se necesita.

Confianza de la V&V

• Depende del propósito del sistema, las expectativas del usuario yel entorno de marketing
– Función del software
• El nivel de confianza depende de lo crítuco que es el sistema para una organización.
– Expectativas del usuario
• Los usuarios pueden tener bajas expectativas para ciertas clases de software.
– Entorno de marketing
• Introducir un producto en el mercado pronto puede ser másimportante que encontrar defectos en el programa

Verificación dinámica y estática

• Inspecciones de software. Se ocupa del análisis de representaciones estáticas del sistema para describrir problemas (verificación estática)
– Pueden ser complementadas por documentos basados en herramientas y análisis del código
• Pruebas del software. Se ocupa de la ejercitación y laobservación del comportamiento del producto (verificación dinámica)
– El sistema se ejecuta con datos de pruebas y se observa su compotamiento operativo.

V & V estática y dinámica[pic]

Prueba del programa

• Puede revelar la presencia de errores NO su ausencia.
• Es la única técnica de validación para requerimientos no funcionales ya que el software tiene que ser ejecutadopara ver su comportamiento.
• Debería utilizarse en conjunción con la verificación estática para proporcionar una covertura de V & V total.

Tipos de pruebas

• Pruebas de defectos
– Pruebas diseñadas para descubrir defectos en el sistema.
– Una prueba de defectos exitosa es aquella que revela la presencia de defectos en un sistema.
• Pruebas de validación– Previsto para mostrar que el software cumple sus requerimientos.
– Una prueba con éxito es aquella que muestra que un requerimiento se ha implementado correctamente

Pruebas y depuración

• Las pruebas de defectos y depuración son distintos procesos.
• La verificación y validación se ocupan de establecer la existencia de defectos en un programa.
• La depuraciónse ocupa de ubicar y reparar estos errores.
• La depuración implica formular una hipótesis sobre el comportamiento del programa y después probar esta hipótesis y encontrar el error del sistema.

El proceso de depuración

[pic]

Planificación de V &V

• Se requiere una cuidadosa planificación para sacar el máximo de los procesos de inspección y pruebas. La planificación debería...