-
Ada Lovelace tradujo y amplió un artículo sobre la máquina analítica de Babbage, incluyendo el primer algoritmo para dicha máquina, considerado el primer programa de computación. También anticipó el potencial del software y reconoció que los errores podían deberse a fallos en la programación, no solo al hardware. -
Alan Turing propuso un método general para verificar la corrección de programas, sentando las bases de la verificación de software. -
Daniel D. McCracken Publica el primer libro de programación que menciona la importancia de que el cliente participe en la preparación de pruebas para detectar errores y malentendidos. -
Charles L. Baker Distingue por primera vez entre pruebas y depuración, ya que en los años 50 solo se enfocaban en corregir errores sin un enfoque formal de pruebas.
-
Gerald M. Weinberg en el proyecto Mercurio de la NASA impulsa técnicas de prueba planificadas. Junto a Leeds, publica principios clave de pruebas. Destaca el componente humano en la programación y afirma que probar más no garantiza mayor calidad. -
Bill Elmendorf introduce el concepto de pruebas funcionales disciplinadas y propone el uso de modelos para automatizar pruebas de software.
-
Robert W. Bemer participa en una conferencia de la OTAN donde se aborda formalmente la garantía de calidad del software mediante listas de verificación y preguntas clave.
-
Edsger Dijkstra Critica el uso del "Go To" y promueve la programación estructurada. En su discurso del Premio Turing defiende que la corrección debe demostrarse con pruebas formales, no solo con pruebas empíricas. -
William C. Hetzel y David Gelperin Impulsaron las pruebas de software como disciplina formal, clasificándolas en cuatro enfoques: demostración, destrucción, evaluación y prevención. Fundaron conferencias clave como STAR y EuroSTAR
-
Frederick Brooks en "El mítico hombre-mes" destaca que los errores conceptuales son más graves que los sintácticos y que las pruebas deben ser parte integral del desarrollo desde la especificación hasta la depuración. -
Tom Gilb pionero en definir la fiabilidad del software y su relación con errores humanos. Publicó el influyente libro "Métricas de software" y promovió las inspecciones formales como técnica de calidad. -
Michael E. Fagan introdujo el proceso de inspección sistemática de código y diseño en IBM, logrando reducir defectos y aumentar productividad.
-
Thomas J. McCabe propuso la complejidad ciclomática, una métrica clave para medir la complejidad estructural del software, y la técnica de prueba de ruta básica (caja blanca).
-
Glenford Myers enfatizó que el propósito del tester es hacer fallar al programa. En su libro "El arte de las pruebas de software", introdujo las pruebas de caja negra y estableció terminología fundamental. -
Boris Beizer, en su libro Técnicas de pruebas de software, propuso una clasificación de defectos y acuñó la paradoja del pesticida, que describe cómo, a medida que se realizan más pruebas, el software se vuelve menos sensible a nuevas pruebas. -
Dorothy Graham, publicó el primer Reporte sobre pruebas de software asistidas por computadora (CAST), que promovió el uso de herramientas automatizadas para mejorar la eficiencia de las pruebas de software.
-
Brian Marick, en 1994, en su libro El arte de las pruebas de software, expresó que probar software es un oficio, aprendiendo a través de la experiencia y bajo la supervisión de expertos.
-
Paul C. Jorgensen, en 1995, publicó Pruebas de software: Un enfoque artesanal, destacando la importancia de la experiencia en las pruebas de software y su evolución con el tiempo. -
R. Geoff Dromey, en 1996, desarrolló un modelo de calidad para abordar las características de calidad del software, influenciado por la norma ISO/IEC 9126:1991. -
James Bach, en 1996, propuso el Modelo de Estrategia de Pruebas Heurísticas, enfocándose en la flexibilidad en la selección de pruebas, adaptándolas al contexto del proyecto.
-
Dorothy Graham, en colaboración con Mark Fewster, publicó Automatización de pruebas de software, considerado un texto fundamental para entender cómo implementar la automatización en el ciclo de vida del software. -
Jonathan Bach expandió el concepto de pruebas ágiles con su enfoque en la gestión de pruebas basada en la sesión. En su modelo, las pruebas son sesiones estructuradas con objetivos claros, realizadas de manera exploratoria, y reportando resultados al final de cada sesión.
-
James Bach amplió su influencia al introducir el concepto de Pruebas Rápidas de Software (Rapid Software Testing - RST), una metodología centrada en mejorar la calidad del software mediante pruebas ágiles rápidas y eficaces.
-
Lisa Crispin y Janet Gregory, a través de su libro Agile Testing, introdujeron el concepto de pruebas ágiles como una disciplina colaborativa dentro de equipos ágiles. Propusieron que las pruebas no deben ser vistas como una fase aislada, sino como una parte integrada del ciclo de vida del software.
-
Michael Bolton, coautor del modelo RST (Rapid Software Testing) con James Bach, refuerza la diferencia entre probar (proceso de descubrimiento) y comprobar (verificación técnica), destacando la importancia de una mente crítica en el proceso de prueba.