Está en la página 1de 4

Validacin y verificacin de Software (V & V)

Introduccin
Verificacin
1
es el conjunto de actividades que aseguran que el software implemente
correctamente una funcin especfica y la Validacin
1
es un conjunto diferente de
actividades que aseguran que el software construido corresponde y satisface los requisitos
del cliente.
La verificacin y la validacin abarcan una amplia lista de actividades de aseguramiento de
la calidad del software, estas incluyen: Revisiones tcnicas formales, auditorias de calidad,
simulacin, factibilidad, revisin de documentacin, y pruebas de diversos tipos.
Aunque las actividades de prueba tienen un papel demasiado importante en (V & V)
tambin se necesitan muchas otras actividades.
Las pruebas son la mejor forma de evaluar la calidad y de descubrir errores.
Definiciones
2

Validacin: Es el proceso de evaluacin intensa que se lleva a cabo justo antes de
entregar el producto al cliente, su objetivo es determinar si el producto en su
totalidad satisface sus especificaciones.
Verificacin: Se refiere al proceso de determinar si un flujo de trabajo se ha llevado
a cabo en forma correcta; se realiza al trmino de cada flujo de trabajo.
Aunque verificacin y validacin implica que el proceso de revisin de un flujo de trabajo
puede esperar hasta el final de ese flujo, es decir, al final de un proceso.
El proceso de validacin verificacin es un ciclo vital, y debe aplicarse en cada etapa del
software.
Calidad
2

El trmino calidad muchas veces se entiende mal cuando se utiliza dentro del contexto de
Software, ser definido de la siguiente manera:
La calidad del software es el grado o medida en que el producto cumple con sus
especificaciones.
La calidad implica excelencia, es decir, que el software funcione correctamente y cumpla
con todos los requisitos del cliente

1
Segn Pressman en Ingeniera de Software. Un enfoque prctico. Pg. 384
2
Segn Ingeniera de Software clsica y orientada a objetos. Pg. 140
Comprobacin y anlisis de sistemas
Dentro del proceso de verificacin y validacin se utilizan dos tcnicas de comprobacin y
anlisis de sistemas:
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. Las inspecciones de software y los anlisis automatizados son
tcnicas estticas puesto que no requieren que el sistema se ejecute.
Las pruebas del software: Llevan a cabo una implementacin del software con los
datos de prueba y examinan las salidas del software y su comportamiento
operacional para comprobar que se desempee conforme a lo requerido.

Pruebas
3

Una de las actividades que implican V & V, es la realizacin de pruebas de diversos
aspectos.
Dado que las pruebas del sistema aseguran que los requerimientos se cumplen, deben de
validar de modo sistemtico cada requerimiento. Se requiere una escritura de pruebas
considerable para la validacin de cada requerimiento.

Prueba de interfaz: Muchas fallas de aplicaciones se deben a problemas con las
interfaces, por lo que es recomendable la aplicacin de estas pruebas.
Prueba del sistema: La prueba del sistema es la culminacin de las pruebas de
integracin. Consiste en pruebas que validan la aplicacin completa, contra sus
requerimientos.
Prueba de utilidad: Una buena interfaz
4
puede mejorar mucho el valor de una
aplicacin. La prueba de utilidad valida la aceptacin de la aplicacin por los
usuarios.
Prueba para los requerimientos de interfaz de usuario: La tarea principal de las
pruebas de utilidad es asegurar que la aplicacin satisface los requerimientos
establecidos.
Pruebas de instalacin: El hecho de que se haya probado la aplicacin en el
entorno propio no asegura que trabaje de marera apropiada.

3
Pruebas obtenidas segn Braude en Ingeniera de Software. Una perspectiva orientada a objetos. Pgs.
447-452
4
El acuerdo desarrollador-cliente ayuda a mejorar la interfaz del sistema y procura la satisfaccin del
usuario. La interfaz debe cumplir con los requerimientos del cliente.
La prueba de instalacin consiste en probar la aplicacin en su configuracin de
hardware final. Esto implica instalar la aplicacin en su entorno meta, despus de
ejecutar el conjunto de pruebas del sistema.
Metas
La verificacin y validacin deben establecer que el software es adecuado a los
requerimientos establecidos al inicio del proyecto, lo cual no significa que est libre de
defectos, que s que es suficientemente bueno y determinar un grado alto de confianza que
se necesita.
Confianza
El nivel de confianza
5
depende de lo crtico que sea el sistema para una organizacin, as
como de las expectativas del usuario.

Filosofa del cuarto limpio
Es una filosofa de desarrollo de software que se basa en eliminar los defectos utilizando un
proceso de inspeccin rigurosa.
Este enfoque se basa en 5 grandes proposiciones:
1. Especificacin formal: El software a desarrollar se especifica formalmente
utilizando un modelo de transicin de estados que muestre las respuestas del sistema
a los estmulos.

2. Desarrollo incremental: El software se divide en incrementos que se desarrollan y
validan de forma independiente utilizando el proceso de cuarto limpio

3. Programacin estructurada: Se utiliza solo un nmero limitado de estructuras de
control y de abstraccin de datos de la especificacin, aplicando las
transformaciones que preserven la exactitud de la especificacin para crear el
cdigo del programa.

4. Verificacin esttica: Verificacin del software de manera esttica, utilizando
inspecciones del software rigurosas.



5
Recordar que un sistema confiable, garantiza la satisfaccin del cliente y beneficios al desarrollador del
sistema
5. Pruebas estadsticas: El incremento del software integrado se prueba
estadsticamente, para determinar su confiabilidad

Bibliografa:
1) Ingeniera de Software Clsica y Orientada a Objetos.
Sexta Edicin. McGraw Hill 2006. Pg. 140

2) Ingeniera de Software. Una perspectiva orientada a objetos.
Braude. Ed. Alfa Omega 2003. Pgs. 434,447-452.

3) Ingeniera de Software. Un enfoque prctico
Pressman. Sexta edicin. McGraw Hill 2005. Pg. 161, 384.

4) Software Engineering
Shari Lawrence Pfleeger, Joanne M.
Tercera edicin. New Jersey 2006. Ed. Pearson Prentice Hall.