Академический Документы
Профессиональный Документы
Культура Документы
Verificacin y validacin
Verificacin:
Estamos construyendo el producto
corrctamente?.
El software debera ajustarse a su
especificacin
Validacin:
estamos construyendo el producto
correcto?.
El software debera hacer lo que el cliente
realmente reclama.
El proceso V & V
sistema;
La evaluacn de si el sistema es til y
utilizable en una situacin operacional o no.
Metas de la V&V
Confianza de la V&V
Verificacin dinmica y
esttica
V & V esttica y
dinmica
Inspecciones
de software
Especificacion
es de
requerimientos
Prototipo
Diseo de
Alto nivel
Especificacin
formal
Diseo
detallado
Programa
Prueba de
programas
Tipos de pruebas
Pruebas de defectos
Pruebas diseadas para descubrir defectos en
el sistema.
Una prueba de defectos exitosa es aquella que
revela la presencia de defectos en un sistema.
Pruebas de validacin
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 depuracin
Las pruebas de defectos y depuracin son
distintos procesos.
La verificacin y validacin se ocupan de
establecer la existencia de defectos en un
programa.
La depuracin se ocupa de ubicar y reparar
estos errores.
La depuracin implica formular una hiptesis
sobre el comportamiento del programa y
despus probar esta hiptesis y encontrar el
error del sistema.
El proceso de
depuracin
Resultados
De pruebas
Localizar
error
Casos
De pruebas
Especificacin
Disear
reparacione
s de errores
Reparar
errores
Probar de
nuevo el
programa
Planificacin de V &V
El modelo-V de
desarrollo
Especificacin
De requerimientos
Especificacin
Del sistema
Plan de pruebas
De aceptacin
Servicio
Plan de
pruebas de
integracin del
sistema
Prueba de
aceptacin
Diseo
detallado
Plan de pruebas
de integracin
De los
subsistemas
Prueba de
integracin del
sistema
Cdigo y
prueba de los
mdulos y
unidades
Prueba de integracin
De los subsistemas
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.
Es un conjunto de acciones, medidas y procedimientos tcnicos que
permite identificar y registrar cada producto desde su nacimiento
hasta el final
Plan de pruebas de
software
Inspecciones de
software
xito de la inspeccin
Inspecciones y pruebas
Las inspecciones y pruebas son
complementarias y no tcnicas opuestas de
verificacin.
Ambas deben utilizarse durante el proceso V
& V.
Las inspecciones pueden comprobar el ajuste
con una especificacin pero no la
conformancia con los requerimientos reales
del cliente.
Las inspecciones no pueden comprobar
caractersticas no funcionales como
rendimiento, usabilidad, etc.
Inspecciones de
programas
Precondiciones de la
inspeccin
El proceso de inspeccin
Planificacin
Visin de
conjunto
Seguimiento
Preparacin
individual
Reunin de
inspeccin
Repeticin
de trabajo
Proceso de inspeccin
Roles en el proceso de
inspeccin
Listas de inspeccin
Debera utilizarse una lista de errores
comunes para guiar la inspeccin.
Las listas de errores dependen del lenguaje
de programacin y reflejan los errores
caractersticos que es probable que
aparezcan en el lenguaje.
En general cuanto ms dbil sea la
comprobacin del tipo, ms grande ser la
lista.
Ejemplos: inicializacin, nombramiento de
constantes, terminacin de bucles, lmites de
vectores, etc.
Comprobaciones de
inspeccin 1
Comprobaciones de
inspeccin 2
Cifras de inspeccin
Anlisis esttico
automatizado
Comprobaciones del
anlisis esttico
Desarrollo de software de
sala limpia
correccin;
Pruebas estticas para determinar la fiabilidad del
programa.
El proceso de Sala
limpia
Especificar
formalment
e el
sistema
Revisin de errores
Definir los
incremento
s de
software
Desarrollar
el perfil
operacion
al
Construir el
programa
estructurad
o
Disear
las
pruebas
estticas
Verificar
formalment
e el cdigo
Integrar el
incremento
Probar el
sistema
integrado
Ejemplo Caja
Transparente
Ejemplo Caja
Transparente
Puntos clave
Puntos clave