¿Cuál es la primera referencia publicada a la programación de prueba primero?

Estoy releyendo Refactoring por Martin Fowler. En el Capítulo 4, Pruebas de construcción, me encontré con el siguiente pasaje.

De hecho, uno de los momentos más útiles para escribir pruebas es antes de comenzar a programar. Cuando necesite agregar una función, comience escribiendo la prueba. Esto no es tan atrasado como parece. Al escribir la prueba, se pregunta qué debe hacerse para agregar la función. Escribir la prueba también se concentra en la interfaz en lugar de la implementación (siempre es algo bueno). También significa que tiene un punto claro en el que ha terminado de codificar, cuando la prueba funciona.

Aunque ahora soy un defensor del desarrollo basado en pruebas, no recordaba haber sido introducido al concepto cuando leí este libro originalmente hace casi 5 años.

Según Amazon.com, este libro se publicó originalmente el 8 de julio de 1999. ¿Es esta la primera referencia publicada a la programación de prueba primero o hay algo aún más temprano?

El desarrollo impulsado por pruebas es similar al diseño por contrato, donde tiene condiciones previas, invariantes y condiciones posteriores.

El término fue acuñado por Bertrand Meyer en relación con su diseño del lenguaje de programación Eiffel y se describió por primera vez en varios artículos a partir de 1986 [Wikipedia]

Los métodos formales datan de al menos 1983, y se han utilizado para sistemas críticos de seguridad como el metro de París sin conductor utilizando el método B:

En la primera y la versión más abstracta, que se llama Máquina abstracta, el diseñador debe especificar el objetivo del diseño. [Wikipedia]

Estas podrían ser algunas de las cosas de las que Kent Beck "ayudó a ser pionero ... el redescubrimiento de la programación de prueba primero".

Más concretamente: al parecer, el Proyecto Mercury de principios de la década de 1960 de la NASA fue el primer proyecto de software que utilizó desarrollo basado en pruebas y otras prácticas ágiles. No pude encontrar ninguna documentación temprana, pero aquí hay un informe de 2003 que cita la comunicación de los miembros del proyecto:

El Proyecto Mercurio se ejecutó con iteraciones muy cortas (medio día) que estaban encuadradas en el tiempo. El equipo de desarrollo realizó una revisión técnica de todos los cambios y, curiosamente, aplicó la práctica de Programación Extrema de pruebas de desarrollo, planificación y redacción primero de prueba antes de cada microincremento.

El resto del informe también es interesante, continúa diciendo:

La primera referencia que encontramos que se centró específicamente en describir y recomendar el desarrollo iterativo fue un informe de 1968 de Brian Randell y FW Zurcher en IBM TJ Watson Research.

Además de las pruebas automatizadas, el informe de 1968 aboga por la codificación y las pruebas paralelas, si no la prueba primero:

sol. Diseño detallado, codificación y documentación de cada bloque de programa.
h. Diseño y documentación de métodos de prueba para cada bloque de programa en paralelo con el paso (g).

Jon Bently en Programming Pearls (publicado originalmente en 1986) no menciona específicamente la programación Test-First. Pero en el capítulo "Escribir programas correctos", describe cómo escribir un algoritmo definiendo primero las condiciones previas, invariantes y posteriores, y en el siguiente capítulo describe un marco de prueba automatizado.

No es una prueba, pero definitivamente estaba sentando las bases.

También,

Revista CIO , marzo de 1993, Bug Busters , por Lucie Juneau, página 84 :

Los casos de prueba ... se pueden desarrollar incluso antes de que se haya escrito ningún código. Idealmente, estos casos se basan en los requisitos de una aplicación ... Si los desarrolladores reciben pruebas basadas en requisitos antes de comenzar a escribir código, diseñarán un producto que pueda pasar esas pruebas ... "

Ese fue Kent Beck , en su libro Extreme Programming , también publicado en 1999 .