Importancia de la verificación y validación de software

El objetivo principal de la verificación y validación de software es mejorar la calidad de los productos de software, en el que se busca por medio de la verificación encontrar los productos que funcionen de manera correcta y en la validación se busca que los productos esten correctos acorde a los requerimientos. Se trata de encontrar los fallos, y no de tratar de colaborar que está bien sino de encontrar los errores.

Existen varias técnicas de V&V estas son algunas:

-Técnicas formales

-Ejecución simbólica

-Revisiones formales

-Técnicas de prueba

Es muy importante tomar en cuenta la V&V porque no siempre se encuentran los errores con simple intuición o algunas pruebas muy simples sin técnica alguna. Han habido varios casos en los que se han tomado mucho como ejemplo para poner en mucho en práctica la V&V,  ahora les contaré un caso en el que no sé hizo bien un V&V.

En el año de 1996 en Yorktown se uso como prueba un submarino llamado Navy's Smart Ship, el cual estaba equipado con una red de 27 dobles 200 MHz Pentium Pro-base en equipos corriendo Windows NT 4.0 (lol) con el que se comunicaban por medio de un cable de fibra óptica con un servidor. Esta red era la responsable de correr el centro de control, donde se podía ver el diagnóstico de la nave, así como daños, control de máquinaria y gasolina, y el seguimiento de los motores y las maniobras del buque. Ese sistema se decía que por cada año que se trabajaba en el se invertían $2.8 millones de dolares y se completaba un 10% de ella.

El día 21 de septiembre de 1997, se dice que mientras se hacian maniobras en la costa de Cape Charles, Virginia, un miembro de la tripulación inserto un cero en un campo de la base de datos y esto causo un error por una division por cero en el administrador remoto de la base de datos de la nave por consecuencia se derribaron todas las máquinas en la red y ocasionaron que el sistema de propulsión del barco dejé de funcionar, y desapareció en el agua al paso de 3 horas. Todo esto se ocasiono debido a que hubo un error en la programación del administrador remoto de la base de datos y no por problemas del sistema operativo aunque se critico mucho por el uso del sistema operativo de Windows debido a que obtuvieron muchos errores en el.

Esta historia ha sido una de las muchas por consecuencia de no hacer una validación y verificación de software, y en la mayoría de los casos las personas pierden sus empleos sin importar si ese error fue culpa del sistema operativo debido a la perdida de dinero, aveces incluso nunca los llegan a contratar
por miedo a que vuelvan a hacer lo mismo en la empresa, una historia similar ocurrió en apple donde el encargado del diseño del iPhone 4 fue despedido después de averse percatado los de la compañia de apple que la gente se estaba quejando sobre los problemas que tenían en las antenas, en el que no tenían buena recepción  aveces se colgaba la línea, todo esto fue debido a una mala ubicación de la antena y a la misma presión que la empresa hace para sacar a la venta los productos.

Aquí les dejaré un esquema del problema que sucede en el iPhone 4.