-
Ada Lovelance
Traducción de "Boceto del motor analítico invenado por Charles Babbage", donde anexó un algoritmo para usar la máquina analítica para el cálculo de Bernoulli. "El primer programa de computación"
“La máquina analítica no tiene pretensiones de crear nada. Puede hacer cualquier cosa que sepamos como ordenarle que realice.” -
Alan Turing
"Sobre la comprobación de una rutina grande", considerado uno de los padres de la ciencia de la computación e informática plantea. ¿Cómo se puede comprobar una rutina en el sentido de asegurarse que es correcta?. -
Daniel D. McCracken
Publica "Programación de computadores digitales", el primer texto sobre programación. -
Charles L. Baker
Publicó "Tablas matemáticas y otros medios de cálculo" reseña sobre "Programación de comptadores digitales", explicando el probar programas y depuralos. Aún no existía el concepto de pruebas ni probadores. -
Gerald M. Weinberg
En le proyecto Mercurio de la NASA, aplicó mini-incrementos. Publicó "Fundamentos de la programación informática", primer libro dedicado a las pruebas de software.
1. Escribir el programa correctamente.
2. Pensar en la comprobación al codificar.
3. Conocerlas herramientas de depuración diponibles.
4. Hacer que el programa funcione. -
Bill Elmendorf
Escribió el artículo “Evaluación de las pruebas funcionales de programas de control” donde se explica la necesidad de un enfoque disciplinado para pruebas funcionales. -
Robert W. Bemer
Participa en la conferencia de Ingeniería de Software patrocinada por el comité científico de la Organización del Tratado del Atlántico Norte, donde se trató la garantía de la calidad de software. Se incluyó “Lista de chequeo para planificar la producción de sistemas de software". Se plantea preguntas para entender si un producto es de calidad o no. -
Edsger Dijkstra
Escribió una carta a la revista Communications de la Asociación de Maquinaria Computacional con el título "Sentencia Go To considerada perjudicial"que era una crítica al uso de Go Yo, marcó el inicio de la programación etructurada. -
Bill Elmendorf "Diseño automatizado de librerías de pruebas de programas"
Propone la aplicación de las pruebas basadas en modelos para probar software. -
Weinberg "La psicología de la programación informática"
El aspecto humano de la programación
“En septiembre de 1962, se publicó una noticia en la que se afirmaba que un
cohete de 18 millones de dólares se había destruido en el primer vuelo porque
se omitió un guión en la cinta de instrucciones... Siendo la naturaleza de la
programación lo que es, no hay relación entre el tamaño del error y el problema
que causa. Por lo tanto, es difícil formular cualquier objetivo para las pruebas, salvo la eliminación de todos los errores, tarea imposible.” -
Premio Turing - Edsger Dijkstra
Discurso "EL humilde programador"
“Si quieres programadores más eficaces, descubrirás que no deben perder el tiempo depurando, no deben introducir los errores para empezar (...) Una técnica habitual es hacer un programa y luego probarlo. Pero, las pruebas de programas pueden ser una forma muy eficaz de mostrar la presencia de defectos, pero son
irremediablemente inadecuadas para demostrar su ausencia. La única forma eficaz de aumentar el nivel de confianza.” -
Weinberg “Software perfecto y otras ilusiones sobre las pruebas”
Sostiene que las pruebas son necesarias porque las personas no somos
perfectas, pero el hecho de probar más, no garantiza una mayor calidad.