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ón de verificación y validación Inspecciones de software Análisis estático automatizado Verificación y métodos formales
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 software debería hacer lo que el cliente realmente reclama. Verificación y validación
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. El proceso V & V
Metas de la V&V La verificació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 y el 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ás importante que encontrar defectos en el programa
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 la observación del comportamiento del producto (verificación dinámica) El sistema se ejecuta con datos de pruebas y se observa su compotamiento operativo.
Verificación dinámica y estática
V & V estática y dinámica Especificación formal Diseño de Alto nivel Especificaciones de requerimientos Diseño detallado Programa Prototipo Prueba de programas Inspecciones de software
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 ejecutado para ver su comportamiento. Debería utilizarse en conjunción con la verificación estática para proporcionar una covertura de V & V total.
Prueba del programa
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.
Tipos de pruebas
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ón se 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. Pruebas y depuración
El proceso de depuración Localizar error Diseñar reparaciones de errores Reparar errores Probar de nuevo el programa Resultados De pruebas Especificación Casos De pruebas
Se requiere una cuidadosa planificación para sacar el máximo de los procesos de inspección y pruebas. La planificación debería comenzar pronto en el proceso de desarrollo. El plan debería identificar el balance entre la verificación estática y las pruebas. La planificación trata de definir estándares para el proceso de prueba en lugar de describir pruebas de productos. Planificación de V &V
El modelo-V de desarrollo Especificación Del sistema Diseño del sistema Diseño detallado Código y prueba de los módulos y unidades Plan de pruebas de integración De los subsistemas Plan de pruebas de integración del sistema Plan de pruebas De aceptación Servicio Prueba de aceptación Prueba de integración del sistema Prueba de integración De los subsistemas Especificación De requerimientos
Estructura de un plan de pruebas de software Proceso de pruebas Trazabilidad de requerimientos. Elementos probados. Calendario de pruebas. Procedimientos de registro de las pruebas. Requerimientos hardware y software. Restricciones.
Plan de pruebas de software
| Página siguiente |