-
Primer algoritmo para la máquina analítica de Babbage
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. -
Metodo general para correccion de programas
Alan Turing propuso un método general para verificar la corrección de programas, sentando las bases de la verificación de software. -
Primer libro de programación
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. -
Enfoque formal de pruebas
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. -
Pruebas de software
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. -
Aplicacion de pruebas basadas en modelos
Bill Elmendorf introduce el concepto de pruebas funcionales disciplinadas y propone el uso de modelos para automatizar pruebas de software. -
Planteamiento de la calidad 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. -
Inicio de la programacion estructurada
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. -
Primera conferencia exclusiva de pruebas de software
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 -
Publicacion del libro “El mítico hombre-mes”
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. -
Fiabilidad del software
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. -
Procesos sistematicos de inspeccion
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. -
Introduccion de la complejidad ciclomatica
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). -
Establecimiento de la terminologia base de las pruebas de software
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. -
Clasificación de defectos de software
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. -
Reporte sobre pruebas asistidas por computadora
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. -
El arte 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. -
Enfoque artesanal en pruebas
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. -
Modelo de calidad de software
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. -
Estrategia de pruebas heurísticas
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. -
Automatización de pruebas de software
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. -
Optimización de pruebas en el contexto ágil
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. -
El concepto de pruebas dirigidas por contexto
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. -
Innovación en la automatización de pruebas
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. -
Enfoque ágil en pruebas de 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.