1.1 Contextualizacin de la verificacin y validacin.

La verificacin y validacin es el nombre que se da a los procesos de

comprobacin y anlisis que aseguran que el software que se desarrolla esta
acorde a su especificacin y cumple las necesidades de los clientes.
Es un proceso de ciclo de vida completo, inicia con las revisiones de los
requerimientos y contina con las revisiones del diseo y las inspecciones del
cdigo hasta la prueba del producto.
Verificacin: Estamos construyendo el producto correctamente?
El papel de la verificacin comprende comprobar que el software est de
acuerdo con su especificacin, se comprueba que el sistema cumple los
requerimientos funcionales y no funcionales que se le han especificado.
Validacin: Estamos construyendo el producto concreto?
La validacin es un proceso ms general. Se debe asegurar que el software
cumple las expectativas del cliente. Va ms all de comprobar si el sistema
est acorde con su especificacin, para probar que el software hace lo que el
usuario espera a diferencia de lo que se ha especificado.
Verificacin.- Se encarga de comprobar que el sistema cumple con los
requerimientos especificados (funcionales y no funcionales).
Validacin.- Comprueba que el software hace lo que el usuario espera.

1.2 Terminologa del proceso

Durante el proceso de verificacin y validacin vamos a encontrarnos con los
siguientes trminos:

Anlisis.
Requerimientos.(Funcionalidad, costo y del cliente)
Pruebas.
Implementacin.
Diseo.

1.3 El proceso de verificacin y validacin

Durante este proceso se utilizan dos tcnicas de comprobacin y anlisis del
sistema:

Inspecciones del software.- Analizan y comprueban las representaciones

del sistema como el documento de requerimientos, los diagramas de
diseo y el cdigo fuente del programa.
Pruebas del software.- Consiste en contrastar las respuestas de una
implementacin a series de datos de prueba y examinarlas para
comprobar que se desempee conforme a lo requerido.

1.4 Tipos generales de los errores

Errores
Errores
Errores
Errores

de lgica
de ejecucin
de sintaxis
humanos

1.5 Responsabilidad de pruebas

Pruebas (test):
o Es una actividad en la cual un sistema o uno de sus componentes
se ejecutan para verificar el funcionamiento de un proceso, los
resultados se observan y registran para realizar una evolucin de
dicho proceso.
Referente a la programacin una prueba de software, son los
procesos que permiten verificar y revelar la calidad de un
producto software. Son utilizadas para identificar posibles fallos de
implementacin.

Caso de prueba (test case):

o Un conjunto de entradas, condiciones de ejecucin y resultados
esperados desarrollados para un objetivo particular, un caso de
prueba es utilizado por el analista para determinar si el requisito
de una aplicacin es parcial o completamente satisfactorio.

Defecto (defect, fault, bug):

o Un defecto de software, es el resultado de un fallo o deficiencia
durante el proceso de creacin de programas de ordenador o
computadora u otro dispositivo. Por ejemplo, un proceso, una
definicin de datos o un paso de procesamiento incorrectos en un
programa.

Error (error):
o Es una equivocacin cometida por un desarrollador. Algunos
ejemplos de errores son: una malinterpretacin de un
requerimiento o de la funcionalidad de un mtodo, una accin
humana que conduce a un resultado incorrecto. Por ejemplo:
Divisiones entre cero. Es una tipo de manifestacin del defecto en
el sistema que se ejecuta.

Falla (failure):

Puede presentarse en cualquiera de las etapas del ciclo de vida

del software aunque los ms evidentes se dan en la etapa de
desarrollo y programacin. Es la incapacidad de un sistema o de
alguno de sus componentes para realizar las funciones requeridas
dentro de los requisitos de rendimiento especificados.

1.7 Costos del error

El no detectar un error a tiempo puede presentar varios problemas, hablando
en trminos de costos tambin, aqu les pongo un ejemplo del costo que
produjo un error.

Desastre: El cohete Mariner 1, en una investigacin espacial destinada a

Venus, se desvi de su trayectoria de vuelo poco despus de su
lanzamiento. El control de la misin destruy el cohete pasados 293
segundos desde el despegue.

Causa: Un programador codific incorrectamente en el software una

frmula manuscrita, saltndose un simple guion sobre una expresin. Sin
la funcin de suavizado indicada por este smbolo, el software interpret
como serias las variaciones normales de velocidad y caus correcciones
errneas en el rumbo que hicieron que el cohete saliera de su
trayectoria. El costo de este error fue aproximadamente 18.5 millones
de dlares.