-
Publicó un algoritmo para usar una máquina analítica, el primer programa de computación.
También, mencionó que los defectos de programación u ordenes dadas, son una fuente de funcionamientos erróneo en una máquina. -
-
Propuso un método general de pruebas que busca comprobar que una rutina sea correcta. Además, Turing aconseja que dicha prueba debe ser realizada por una persona diferente al creador, lo que introduce la idea de un Tester. -
-
Considerado como el primer publicador de un libro de programación: “Digital Computer Programming,”. Aconseja que el cliente sea quién indique el caso de la prueba para evitar malentendidos. -
Explicó la diferencia entre probar y depurar programas en una reseña del libro de McCracken, lo que luego introdujo el concepto de pruebas y probadores (tester). -
Trabajó en un proyecto de la NASA que indicaba un cambio Agile: mini-incrementos en tiempos que tenían pruebas planificadas y escritas con anterioridad a cada mini-incremento. Luego, pasados 3 años, Weinberg junto a Herbert D. Leeds publican un libro representativo para las pruebas de software. Más tarde en 2010, publica otro libro sosteniendo la necesidad de pruebas por los defectos del ser humano. -
-