You are on page 1of 14

VERIFICACIN Y VALIDACIN

VERIFICACIN
Verificacin:
Estamos construyendo el producto corrctamente?.
El software debera ajustarse a su especificacin
Se enfoca ms al proceso de evaluacin del sistema o de los
componentes, permite determinar si los productos de una
determinada fase del desarrollo satisfacen las condiciones
impuestas en el inicio de la misma. Responde la
pregunta Estamos
construyendo
el
producto
correctamente?, entonces el software debera ajustarse a sus
especificaciones iniciales.

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.
Tambin es una evaluacin del sistema o componentes, pero solo se efecta
en el transcurso o al final del proceso del desarrollo para determinar si
cumple con lo especificado. Responde la pregunta Estamos
construyendo el producto correcto?, entonces el software debera hacer
lo que el cliente realmente quiere que haga.

TCNICAS DE VALIDACIN Y VERIFICACIN


Para aplicar estas tcnicas siempre en necesario modelar cierto tipo de pruebas (tests)
especficas, las pruebas son actividades en las cuales un sistema o uno de sus
componentes se ejecuta en circunstancias previamente especificadas, los resultados se
observan y registran y se realiza una evaluacin de algn aspecto.
Varias pruebas juntas con un fin especifico constituyen un caso de pruebas donde un
conjunto de entradas, condiciones de ejecucin y resultados esperados son
desarrollados para un objetivo particular.
Las pruebas deben centrarse en dos objetivos:
Probar si el software no hace lo que debe hacer.
Probar si el software hace lo que no debe hacer, es decir, si provoca efectos
secundarios.

VERIFICACIN DINMICA Y ESTTICA


Inspecciones de software. Se ocupa del anlisis de
representaciones estticas del sistema para describrir
problemas (verificacin esttica)
Pueden ser complementadas por documentos basados en herramientas
y anlisis del cdigo

Pruebas del software. Se ocupa de la ejercitacin y la


observacin del comportamiento del producto (verificacin
dinmica)
El sistema se ejecuta con datos de pruebas y se observa su
compotamiento operativo.

PRUEBA
LA DEFINICIN CORRECTA
PROBAR ES EL PROCESO EJECUCIN DE UN PROGRAMA CON
EL FIN DE ENCONTRAR ERRORES.

LA PRUEBA ES EL PROCESO DE EJECUCIN DE UN


PROGRAMA CON LA INTENCIN DE DESCUBRIR UN
ERROR.
UN BUEN CASO DE PRUEBA ES AQUEL QUE TIENE
UNA ALTA PROBABILIDAD DE MOSTRAR UN ERROR NO
DESCUBIERTO
HASTA
ENTONCES.
UNA PRUEBA TIENE XITO SI DESCUBRE UN ERROR
NO
DETECTADO
HASTA
ENTONCES.

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
Se requiere una cuidadosa planificacin para sacar el
mximo de los procesos de inspeccin y pruebas. La
planificacin debera comenzar pronto en el proceso de
desarrollo.
El plan debera identificar el balance entre la verificacin
esttica y las pruebas.
La planificacin trata de definir estndares para el
proceso de prueba en lugar de describir pruebas de
productos.

EJEMPLO

Ejemplo

You might also like