¿Cuantas veces nos hemos encontrado  con un bug “raro”, esa conjunción astral que hace que nuestro software, tras meses e incluso años sin mostrar síntomas de debilidad, cruja cual madera reseca por el paso del tiempo?. ¿Cómo demostrar  que no fallará más?

¿Os habeis fijado que en cuestión de software no es posible asegurar la ausencia de bugs?. Una vez escrito un código, todas las estrategias tradicionales se basan en la repetición de los procesos de verificación o en test que sólo pueden validar una parte muy pequeña del dominio funcional del proceso.

Excepto en matemáticas, no existen las verdades absolutas,un ejemplo claro en física, la probabilidad de que ahora mismo te aparezca delante de las narices una manzana ¡no es estrictamente cero. En matemáticas sin embargo, dadas unas premisas , es posible demostrar sin ningún tipo de duda, ciertos resultados ,no cualquier resultado y únicamente en base a esas premisas. Afortunadamente , la programación forma parte de las matemáticas y, en principio, nada impide y de hecho se hace, demostrar que un algoritmo sea correcto, sin tacha, libre de bugs.

Claro que no es lo mismo demostrar que un algoritmo concreto está libre de bugs, a demostrar que todo nuestro sistema está libre de bugs porque todos y digo TODOS  INCLUIDO YO MISMO HEMOS SIDO "VICTIMAS BENEFICIADAS" en muchas ocasiones de un BUG  y no es  porque no se pueda demostrar, sino porque conlleva un tiempo y esfuerzo tan enorme, que nadie puede permitírselo.

Si alguien es capaz de demostrar que su sistema,pc,ipad o lo que tenga está libre de bugs que lo haga y por el contrario cuando los tenga se autodenuncie y pida que le quiten el premio.

¿cuantos lo hemos hecho esto?

NADIE