Introduccin de Verificacin y Validacin del Software

Verificacin y validacin del software, es el proceso de control que asegura que un

determinado software cumple con su especificacin y satisface las necesidades del
usuario.

Verificacin: Se ocupa de controlar si el producto satisface los requerimientos del

usuario.
Construir el sistema correctamente
Descubrir y corregir errores en el sistema
Criterios a verificar
Vereficar que la informacin sea coherente
Identifica desviaciones con standares y requerimientos
Recolecta datos para mejorar el proceso
Verifica que el producto cumpla:
Cumplan con los requerimientos
Cumplan con los atributos de calidad
Se ajuste a las regulaciones, estndares y procedimientos definidos.

Validacin: Controla que el producto cumpla su especificacin inicial, la diferencia

de este a verificacin es el que ste evala al sistema en el trancurso o al final del
proceso del desarrollo.
Construir el sistema correcto
Evaluar la conformidad con la especificacin de requisitos
Casos de test
Pruebas unitarias

Tcnicas de control: Se dividen en dos: dinmicas y estticas.

Dinmicas: stas tambin son conocidas como testing o prueba, as que son
nicamente aplicables cuando se tiene una version ejecutable u operativa.
Estticas: Son las primeras pruebas que se aplican al software, tiene como objetivo
mejorar la calidad del software ayudando a arreglar defectos en etapas tempranas,
sin codificar.

Se basan en revisiones del cdigo o documentacin.

La finalidad de ste es detectar la mayor cantidad de defectos posibles

Tipos de Pruebas:
Pruebas de aceptacin, son desarrolladas por el cliente
Pruebas alfa, son realizadas por el usuario con el desarrollador como observador
de un entorno controlado
Pruebas beta, son realizadas por el usuario en su entorno de trabajo,
generalmente son utilizadas como producto final.

Niveles de Pruebas:
Pruebas unitarias
Pruebas de integracin
Pruebas de sistema
Pruebas funcionales: es una prueba basada en la ejecucin, revisin y
retroalimentacin de las funcionalidades previamente diseadas para el software.

Desarrollo guiado por pruebas: El objetivo de ste es lograr un cdigo limpio que
funcione, la idea de ste es que los requisitos sea traducidos a pruebas.
Ciclo:
Elegir un requisito
Escribir un prueba
Verificar que la prueba falla
Escribir la implementacin
Ejecutar las pruebas automatizadas
Eliminacin de duplicacin
Actualizacin de la lista de requisitos

Fases del desarrollo del software: Expresa como a progresado el desarrollo del
software y cuanto puede requerir, cada versin importante en la que se le agregan
nuevas caractersticas o se corrigen errores.

Alpha: Es la primera versin del programa, tambin es enviada a los testers para
verificarla, este generalmente es un producto inestable
Beta: Representa generalmente la primera versin del sistema, tambin en sta
fase tambin el producto es un poco inestable.
Version candidata a definitiva(RC): Comprende un producto final, listo para
publicarse como version definitiva al menos que aparezcan errores que lo impidan.
Tambin en sta fase se le puede asociar como el producto final, pero que an esta
en pruebas.
Versin de disponibilidad general(RTM): Es un producto en versin final,
normalmente es casi idntica a la version candidata, a diferencia que en sta hay
cambios de ltimo minuto, sta versin tambin es tomada como libre de errores y
estable..

Anlisis esttico:
Su funcin es analizar sintcticamente el texto del progrma y tratar de descubrir
posibles condiciones errneas

Defectos: Es un procedimiento de un determinado producto en el cul son

incorrectos

Fallos: Es la imposibilidad de realizar determinada accin de parte del producto

Importancia:
La importancia del hacer uso de verificacin y validacin es el ahorro de costs y
tiempo, que son vitles en el desarrollo de un determinado producto.
Mensionando algunos ejemplos de casos donde se puede aplicar o donde se han
aplicado son los siguientes:
Una determinada empresa, firmo un importante convenio en la cual se le pidio
elaborar 850,000 piezas de un mecnismo para un nuevo modelo de un carro. Ya
obteniendo el producto final con las 850,000 piezas la empresa se da cuenta que la
pieza no coincidan con la especificacin dada.
Problema: La posible falla de sto pudo ser que al personal que se le pidio elaborar
el producto en el software que lo desarrolla, tomaron diferentes las coordenadas o
las medidas no fueron las indicadas.

Otro de los problemas comunes podemos encontrarlo en los bugs de los

videojuegos, alguno de los casos famosos es el videojuego para gameboy, pokemon
donde en un nivel ms avanzado apareca un personaje llamado missingNo, el cul
ste era producto de un error de programacin donde al momento de buscar un
determinado personaje no era encontrado en el arreglo, devolviendo sto como un
missingnumber.
Prototipos nazis, una de los acontecimientos mas mencionados podra ser la
fascinacin de los nazis por hacer pruebas con los prototipos finales fsicos, algunos
ejemplos a mencionar podran ser los prototipos de aeronaves, como supuestos
platillos voladores, en las cuales verificaban la aerodinmica del producto entonces
hacan pruebas fisicas con la aeronave, pero al final haba un fallo por la estabilidad
de ste por diferentes condiciones climticas, volteando la aeronave o haciendo que
se golpeara bruscamente que en ocasiones produca la perdida total o perdida del
piloto.

Tips o Datos de inters:

Generalmente los desarolladores usan nombre claves para los nombres de las
versiones de un producto, con el fin de no confundir el producto o que se tenga un
poco ms de incgnito del producto para otros usuarios.

Link:
http://www.slideshare.net/FARIDROJAS/validacion-y-verificacion-presentation-632946
http://clases3gingsof.wetpaint.com/page/Verificaci%C3%B3n+y+Validaci%C3%B3n
http://es.wikipedia.org/wiki/Pruebas_de_validaci%C3%B3n
http://www.sqs.es/es/services/validation.php