Introduccion a la Verificacion y Validacion de Software

Verificación y Validación de Software

Un software listo, ideal, terminado es cuando este producto a pasado a través de diferentes tipos de prueba, además se a construido o desarrollado de manera correcta.

Que es la Validación:

Validación se refiera a las pruebas que se realiza al producto ya finalizado, en este caso el software cumple o realiza las especificaciones que pide el usuario ya teniendo el producto terminado.

De manera tradicional las pruebas que se utilizan durante el ciclo del desarrollo del software es meramente validación ya anteriormente mencionado.

Tipos de validación

Objetiva: Especificaciones formales
Interpretativa: Actividades diseñadas para corregir errores de tipo conceptual y de contexto

Métodos de validación

Informal: reuniones

Testing

Pruebas de campo: Actuación en paralelo con experto.

Subsistemas

Análisis de sensibilidad. Sistemas con incertidumbre: cambios provocados.

Criterios de la validación:

1-. Cuántos casos de prueba.

Š2-. Cómo se generan estos casos de prueba.

3-. Establecer una proporción entre casos fáciles, medios y

difíciles.

Š4-. Cómo comparar los resultados con los de un experto.

Š5-. Cómo se mide la realización de un experto humano en ese

campo.

6-. Cómo evaluar el sistema cuando distintos expertos opinan

distintas cosas.

Š7-. Si se generan distintas respuestas cómo se consideran.

Resultados de la validación:

Exactitud u aceptabilidad de soluciones.

Š Adecuación al problema.

ŠIdentificar los diferentes tipos de errores

Que es la Verificación:

El papel de la verificación comprende comprobar que el software está de  acuerdo con su especificación. Se comprueba que el sistema cumple los  requerimientos funcionales y no funcionales que se le han especificado.

Criterios a considerar:

Consistencia

Precisión

Completud

Tipos de inconsistencias al realizar la verificación en el momento de ejecutar la verificación en alguna de las etapas:

Estructural: 
-> Si tiene alguna regla innecesaria
-> inalcanzable
-> se cicla
-> no se ejecuta
entre otras

Algunos ejemplos de errores estructurales

1-. x*y = z,   y*x = z
2-.x = z, z = y, x = y

Lógicas:
Reglas con concluciones redundantes
Las reglas ocultan otras
Reglas con conclusiones ilógicas


Semántica:
Variables con valores no validos
Incoherencia en patrones y reglas

Pasos en conjunto de la verificación y la validación:

1-. Verificar si el sistema es completo y preciso
2-. Evaluar el sistema durante el ciclo de construcción del mismo
3-.Diseñar la validación final del sistema
4-. Corregir los errores pertinentes no encontrados con anterioridad




En que nos ayuda la Verificación y la Validación?

Nos ayuda a que sean seguros los sistemas terminados, que han seguido ciertos reglamentos en el desarrollo del producto en sus diferentes etapas de construcción, además que cumplen las especificaciones requeridas.

Esto ayuda al programador a reducir el riesgo de problemas que pueda tener el producto terminado en este caso el programa hasta un cierto nivel, además de detectar diferentes tipos de errores durante la construcción del software.


La Verificación y la Validación son dos terminos en donde se suele mal interpretar en su significado.

Pruebas de Verificación y Validación del software:

Problemas que se pudieron haber evitado: 

Problema de Equipaje del aeropuerto internacional de denver

En 1994  se probo el sistema automatizado de equipaje de las cuales algunas no funcionaron como se esperaba esto por el mal administración en cada una de las fases, con ayuda de la verificación se pudo evitar el retraso de la inauguración hasta el 2005 y el gasto innecesario de los recursos

Referencias:

http://www.buzzle.com/editorials/4-5-2005-68117.asp
http://www.giaa.inf.uc3m.es/docencia/II/IConocimiento/tema6.pdf
http://www.ctr.unican.es/asignaturas/Ingenieria_Software_4_F/Doc/M7_09_VerificacionValidacion-2011.pdf

http://www.scribd.com/doc/79808328/BAE1