Tarea verificación y validación

Verificación y Validación del software

Durante y después del proceso de implementación el programa que se esta desarrollando debe ser comprobado para asegurar que satisface su especificación y entrega la funcionalidad esperada por las personas que pagan por el software. La verificación y la validación es el nombre dado ha estos procesos de análisis y pruebas estas tienen lugar en cada etapadel proceso del software, a menudo se confunden .
Según boehm 1979 expreso la diferencia entre ellas.
Validación: ¿estamos construyendo el producto correcto?
Verificación: ¿estamos construyendo el producto correctamente? .
Esto implica que la verificación debe estar de acuerdo con especificación, satisfacer sus requerimientos funcionales y no funcionales. La validación sin embargo es un procesomas general cuyo objetivo es que el software satisfaga las expectativas del cliente.

Por ultimo el objetivo de la validación y la verificación es establecer la seguridad de que el sistemas-software esta hecho para un propósito o sea debe ser lo suficientemente bueno. El nivel de confianza requerido depende:
1.función del software: el nivel de confianza requerido depende de lo critico que seael software para una organización. Por ejemplo el nivel de confianza requerido para cntrolar un sistema de seguridad critico.
2. expectativas del usuario: muchos usuarios tienen pocas expectativas sobre su software incluso aceptan fallas, la tolerancia de los usuarios a los fallos esta decreciendo desde los años 90.
3. entorno del mercado::
Cuando un sistemas se comercializa los vendedores debentener en cuenta los programas competidores, el precio a pagar por clientes, tiempo. Cuando hay pocos competidores, puede decidirse entregar un programa sin completar probado y depurado debido a que se quiere ser primero en el mercado.

Técnicas de Verificación y Validación

Dentro del proceso del de verificación y validación existen dos aproximaciones complementarias. para el análisis ycomprobaciones de los sistemas:
1. las inspecciones de software analizan y comprueban las representaciones del sistema tales como el documento de requerimiento de documento , diagrama de diseño , codigo fuente. Estas inspecciones son tecnicas estaticas ya que no nececita ejecutar el sofware en una computadora.
2. las pruebas del software: implican ejecutar una implementación del software condatos de prueba, se examinan las salidas y su entorno operacional estas pruebas son tecnicas dinamicas

Verificación y validación estática y dinámica
[pic]

En el esquema se muestra el lugar que ocupan las inspecciones y las pruebas dentro del
proceso de desarrollo de software. Las flechas indican las fases del proceso en las que se
utilizan las técnicas. Las inspecciones de software sepueden utilizar en todas las etapas del
proceso, mientras que las técnicas de prueba sólo se pueden cuando está disponible un
prototipo o código ejecutable.
Las técnicas de inspección incluyen inspección de programas, análisis automatizado de
código fuente y verificación formal. Sin embargo las técnicas estáticas sólo pueden
comprobar la correspondencia entre un programa y su especificación(verificación) y no
puede probar que el software es de utilidad operacional, y mucho menos que las
características no funcionales del software son las correctas. Por lo tanto, para validar un
sistema de software, siempre se requieren llevar a cabo ciertas pruebas.
Aunque en la actualidad las inspecciones se utilizan ampliamente, las pruebas de los
programas es aún la técnica de verificación yvalidación predominante

Proceso de depuración

Proceso de depuración: Proceso que localiza y corrige los errores
descubiertos durante la verificación y validación.
�� Es un proceso complicado pues no siempre los errores se detectan cerca del
punto en que se generaron.
�� Se utilizan herramientas de depuración, que facilitan el proceso
Después de reparar el error, hay que volver a probar el...