INSTITUTO TCNICO

PIO XII

DOCENTE: Ing. Ramiro Cucho

ELVORADO POR: Eva Garca Gutirrez
PARALELO: 3ro informtica
Gestin: 2017

VALIDACIN Y VERIFICACIN DEL SOFTWARE

INTRODUCCIN:

Es un conjunto de procesos de comprobacin y anlisis que aseguran que el software que

se desarrolla est acorde a su especificacin y cumple las necesidades de los clientes.

Los objetivos de las actividades de verificacin y validacin son valorar y mejorar la calidad
de los productos del trabajo generados durante el desarrollo y modificacin del software.

Los atributos de la calidad deben ser la correccin, la perfeccin, la consistencia, la

confiabilidad, la utilidad, la eficacia, el apego a los estndares y la eficacia de los costos
totales.

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 est acorde a su especificacin y
cumple las necesidades de los clientes. La V&V 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. Existen actividades de V&V en cada
etapa del proceso de desarrollo del software.

La verificacin y la validacin no son la misma cosa, aunque es muy fcil confundirlas,

Boehm (1979) expres la diferencia entre ellas de forma sucinta:
VERIFICACIN:
La verificacin se enfoca ms al proceso de evaluacin del sistema o componentes ya que
permite determinar si los productos de una determinada fase del desarrollo satisfacen las
condiciones impuestas en el inicio de la etapa.

Tambin 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.

DOS TIPOS DE VERIFICACIN

VERIFICACIN DEL CICLO DE VIDA.- Esta ltima consiste en el proceso de

determinar el grado de los productos de trabajo de una fase dada del ciclo de
desarrollo cumplen con las especificaciones establecidas durante las fases previas.

VERIFICACIN FORMAL.- La verificacin formal es una rigurosa demostracin

matemtica de la concordancia del cdigo fuente con sus especificaciones.

Qu se debe tener en la verificacin?

o Consistencia: vigilar que la informacin sea coherente.
o Precisin: correccin de la sintaxis.
o Completitud: lagunas en capacidad deductiva.
Lo que se hace en la verificacin:
o Identifica desviaciones con estndares y requerimientos.
o Recolecta datos para mejorar el proceso.
o Verifica que el producto: Cumpla con los requerimientos.
o Cumpla con los atributos de calidad.
o Se ajuste a las regulaciones, estndares y procedimientos definidos.

VALIDACIN:
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.
Es importante llevar a cabo la validacin de los requerimientos del sistema de forma inicial.
Es fcil cometer errores y omisiones durante la fase de anlisis de requerimientos del
sistema y, en tales casos, el software final no cumplir las expectativas de los clientes. Sin
embargo, en la realidad, la validacin de los requerimientos no puede descubrir todos los
problemas que presenta la aplicacin. Algunos defectos en los requerimientos solo pueden
descubrirse cuando la implementacin del sistema es completa.

INSPECCIONES DEL SOFTWARE:

Se analizan las diferentes representaciones del sistema (diagramas de requerimientos,
diagramas de diseo y cdigo fuente) en bsqueda de defectos.
Son tcnicas de validacin esttica => No requieren que el cdigo se ejecute
Debe realizarse durante todo el ciclo de desarrollo.

PRUEBAS DEL SOFTWARE:

Se contrasta dinmicamente la respuesta de prototipos ejecutables del sistema con el
comportamiento operacional esperado.
Tcnicas de validacin dinmicas => El sistema se ejecuta
Requiere disponer de prototipo ejecutables, por lo que slo pueden utilizarse en ciertas fases
del proceso.

DIFERENCIAS ENTRE VALIDAR Y VERIFICAR

Verificacin:
La verificacin se enfoca ms al proceso de evaluacin del sistema o componentes
ya que permite determinar si los productos de una determinada fase del desarrollo
satisfacen las condiciones impuestas en el inicio de la etapa.

Estamos construyendo el producto correctamente?.

El software debera ajustarse a su especificacin.

Validacin:
En la validacin tambin es una evaluacin del sistema o componentes solo que es
en el transcurso o al final del proceso del desarrollo para determinar si cumple con lo
especificado.
 Estamos construyendo el producto correcto?.
El software debera hacer lo que el cliente realmente pide.

Dentro del proceso de Verificacin y validacin se utilizan dos tcnicas de comprobacin y

anlisis de sistemas:
1. LAS 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. Se aplica a todas las
etapas del proceso de desarrollo. Las inspecciones se complementan con algn
tipo de anlisis automtico del texto fuente o de los documentos asociados. Las
inspecciones del software y los anlisis automatizados son tcnicas de
verificacin y validacin estticas puesto que no requieren que el sistema se
ejecute.

2. LAS PRUEBAS DEL SOFTWARE consiste en contrastar las respuestas de una

implementacin del software a series de datos de prueba y examinar las
respuestas del software y su comportamiento operacional, para comprobar que
se desempee conforme a lo requerido. Llevar a cabo las pruebas es una tcnica
dinmica de la verificacin y validacin ya que requiere disponer de un prototipo
ejecutable del sistema.