Explosión del cohete Ariane (1996) Uno de los acontecimientos que tiene mucho que ver con pruebas de software, es la del fallido lanzamiento del cohete Ariane, este hecho tuvo lugar el 4 de junio de 1996 Lanzado por la Agencia Espacial Europea, este estallo a los 38 segundos después de su despegue. El Ariane explotó en su primer viaje, después de una década de desarrollo, las perdidas se estimaron en aproximadamente 500 millones de dólares. La causa de la explosión fue un error en el software. Un error no detectado por Falta de control de la calidad del software crítico del cohete. Todo sucedió porque un número real de 64 bits (coma flotante) relacionado con la velocidad horizontal del cohete se convirtió en un entero de 16 bits. Aunque encontrar el error no fue nada fácil. Ese mismo año, en 1996, a Alain Deutsch, del INRIA, le encargaron averiguar cuál fue el error. Y para ello se puso manos a la obra usando herramientas que automatizaban el control de la calidad del softwa...