Pruebas y verificación de programas
Un ejercicio curioso en Getting a program right, in nine episodes donde Bertrand Meyer nos acompaña donde desarrolla un programa sencillo y lo va mejorando mediante técnicas de verificación formal.
Aunque el testing ha ganado muchos adeptos hay que recordar lo que decía Dijkstra: las pruebas pueden demostrar la presencia de errores, no su ausencia.
in fact, I have always thought that the inevitable Dijkstra quote about testing — that it can only show the presence of errors, not their absence
Esto no es hablar mal de las pruebas, es sensacional poder encontrar partes de nuestros programas que están mal.
La verificación aporta otro tipo de valores, y de eso va lo que se puede leer allí. El programa es una búsqueda binaria, que es un concepto fácil de entender, pero no tan sencillo de hacer complemtamente bien.
Interesante.