-
Máquina Analítica de Babbage
Ada Lovelace considerada la primera programadora por su trabajo en la Máquina Analítica de Babbage. Envisionó que los errores no solo podían estar en el hardware sino en la programación . -
Period: to
Etapa 1
Período 1840-1950. -
Alan Turing
En 1949, Alan Turing propone un método general para verificar la corrección de programas, sugiriendo que el programador debe proporcionar aserciones comprobables para facilitar la tarea del evaluador. -
Period: to
Periodo 2
-
Probar y depurar
En una reseña del libro de McCracken, distingue entre probar y depurar, destacando que antes no se hacía esta distinción. -
Programación de computadores digitales
Daniel D. McCracken Publica "Programación de computadores digitales", enfatizando que el cliente debe preparar los casos de prueba para identificar errores lógicos y malentendidos. -
Mini-incrementos y planificación de pruebas
En el proyecto Mercurio de la NASA, aplica mini-incrementos y planificación de pruebas. En 1961, publica "Fundamentos de la programación informática", el primer libro con un capítulo dedicado a pruebas de software, proponiendo principios para su correcta ejecución. -
Evaluación de las pruebas funcionales de programas de control
Publica "Evaluación de las pruebas funcionales de programas de control", abogando por un enfoque disciplinado en las pruebas. -
La garantía de calidad en software
Participa en la Conferencia de Ingeniería de Software de la NATO, donde se discute la garantía de calidad en software, incluyendo una lista de chequeo para su planificación. -
Sentencia Go To considerada perjudicial
Edsger Dijkstra: Publica "Sentencia Go To considerada perjudicial", criticando el uso del Go To y proponiendo la programación estructurada. En su discurso al recibir el Premio Turing en 1972, resalta que las pruebas no pueden garantizar la ausencia de errores, sugiriendo que la corrección debe demostrarse de otra manera.