-
Period: to
Período1 (1840-1950)
De 1840 a 1950 se destaca a Ada Lovelace y Alan Turing.
Lovelace tradujo un artículo sobre la máquina analítica de Babbage e incluyó notas con el primer algoritmo para calcular números de Bernoulli. El principal aporte fue reconocer que los errores podían originarse en la programación, ya no solo en el hardware.
Ahora bien en 1949, Turing propuso un método para verificar programas y señaló que quien prueba debe ser distinto del programador, sentando las bases de la verificación de software -
Period: to
Período 2 (1951-1970)
De 1951 y 1970, varios autores aportaron a las pruebas de software. Daniel D. McCracken destacó la importancia de que el cliente prepare pruebas. Charles L. Baker diferenció pruebas y depuración. Gerald M. Weinberg propuso principios para planificar pruebas y resaltó su importancia humana. Bill Elmendorf impulsó pruebas funcionales y basadas en modelos. Robert W. Bemer trató la garantía de calidad en software y Edsger Dijkstra promovió la programación estructurada y la verificación formal. -
Period: to
Período 3 (1971-1980)
De 1971 a 1980, William C. Hetzel y David Gelperin definieron cuatro modelos de pruebas (demostración, destrucción, evaluación y prevención) e impulsaron conferencias clave. Frederick Brooks destacó la dificultad de las pruebas conceptuales. Tom Gilb introdujo métricas y confiabilidad. Michael Fagan propuso inspecciones formales. Thomas McCabe desarrolló la complejidad ciclomática. Glenford Myers formalizó las pruebas de caja negra. Y William Howden acuñó el término "oráculo" en pruebas. -
Period: to
Período 4 (1981-1990)
De 1981 a 1990, se consolidaron importantes avances en la ingeniería de software. Barry Boehm introdujo el modelo COCOMO. James Martin reveló que la mayoría de defectos se originan en la fase de requisitos, Paul E. Rook propuso el Modelo V. Robert B. Grady impulsó el uso de métricas y una taxonomía de defectos para mejorar procesos. Cem Kaner popularizó la prueba exploratoria. Watts Humphrey propuso el modelo CMM. Finalmente, Boris Beizer clasificó defectos y formuló la paradoja del pesticida. -
Period: to
Período 5 (1991-2000)
De 1991 a 2000, algunas figuras clave impulsaron las pruebas de software. Dorothy Graham se destacó por sus aportes en automatización y certificación ISTQB. Brian Marick promovió la agilidad y categorización de pruebas. Paul Jorgensen ofreció un enfoque artesanal. Geoff Dromey propuso un modelo de calidad. James Bach creó el modelo heurístico y las Pruebas Rápidas. Eric S. Raymond defendió el software abierto. Y Jonathan Bach desarrolló la gestión de pruebas basada en sesiones. -
Period: to
Período 6 (2001-2024)
De 2001 a 2024, algunos líderes que influyeron en las pruebas de software fueron:
Kent Beck popularizó el TDD y la programación extrema. Bret Pettichord identificó escuelas de pensamiento en pruebas. Michael Bolton co-desarrolló RST y diferenció “probar” de “comprobar”. Erik Van Veenendaal impulsó el modelo TMMI. Doron Reuveni promovió el crowdtesting. Mike Cohn creó la pirámide de automatización. Lisa Crispin fue clave en pruebas ágiles. Jonathan Kohl amplió el enfoque de la automatización.