-
Publica el primer algoritmo de computación y es la primera en prever el potencial de las computadoras y el software. -
Establece los fundamentos de la verificación de programas, proponiendo un método general de prueba que todavía se utiliza hoy en día. -
Distingue entre pruebas de programas y depuración, marcando el comienzo de la atención en las pruebas de software.
-
Publica el primer texto sobre programación y hace referencia a la importancia de las pruebas en la detección de errores. -
Publica el primer libro con un capítulo dedicado completamente a las pruebas de software, estableciendo principios clave para las pruebas de software. -
En 1973, Hetzel publica un libro sobre métodos de prueba de programas y en 1984 junto con Gelperin organizan la primera conferencia internacional sobre pruebas de software. Introducen modelos para pruebas de software, como demostración, destrucción, evaluación y prevención.
-
Destaca la importancia de las pruebas de software y afirma que un programa depurado puede costar tres veces menos que uno sin depurar. Además, enfatiza la necesidad de casos de prueba adecuados. -
Publica el artículo "Leyes de la no fiabilidad", conceptualizando la fiabilidad del sistema y del software. Su libro "Métricas de software", de 1976, se convierte en un texto de referencia. En 1993, junto con Dorothy Graham, publica "Inspecciones de software", detallando el proceso de revisión formal de software.
-
Fagan propone un proceso sistemático de inspección de diseños y códigos para reducir el costo del retrabajo. Las inspecciones de Fagan aplicadas por IBM resultan en mejoras significativas en la calidad del software. -
McCabe introduce la complejidad ciclomática como métrica de software para el control cuantitativo de la complejidad de un programa. También propone la prueba de ruta básica como técnica de prueba de caja blanca.
-
Myers publica "Fiabilidad del software: Principios y prácticas", estableciendo el objetivo de los probadores como hacer que el programa falle. En 1979, introduce el concepto de pruebas de caja negra en su libro "El arte de las pruebas de software". -
Howden publica el artículo "Estudios teóricos y empíricos sobre la comprobación de programas", acuñando el término "oráculo".
-
Publica el libro "Economía de la ingeniería de software", introduciendo el concepto de "costo de retrabajo" y el Modelo de Costos Constructivos (COCOMO). -
Publica el libro "Manifiesto de los sistemas de información", destacando la distribución de defectos en el desarrollo de software. -
Presenta el Modelo V para desarrollo de software, una alternativa al Modelo Cascada, y propone un enfoque estructurado para las pruebas.
-
Publican el libro "Métricas de software: Establecimiento de un programa para toda la empresa", donde presentan un estudio detallado de un programa de métricas.
-
Junto con otros autores, publica el libro "Pruebas de software informático", introduciendo el término "prueba exploratoria". -
Propone una clasificación de defectos de software y acuña el término "paradoja del pesticida". -
Escribe el primer "Reporte sobre pruebas de software asistidas por computador (CAST)". -
Publica el libro "El arte de las pruebas de software", enfocándose en pruebas de subsistemas. -
Publica el libro "Pruebas de software: Un enfoque artesanal". -
R. Geoff Dromey propone un modelo de calidad para resolver la intangibilidad de las características de calidad. James Bach propone el Modelo de Estrategia de Pruebas Heurísticas.
-
Publica "La catedral y el bazar", detallando el desarrollo de software de código abierto y la Ley de Linus. -
Bach introduce la gestión de pruebas basada en sesiones y en 2007 propone la escala de libertad del probador.
-
Beck populariza el Desarrollo Guiado por las Pruebas (TDD) con su libro. -
Pettichord identifica las escuelas de pensamiento en las pruebas de software. -
Bolton se suma como co-autor de la metodología RST. -
Van Veenendaal contribuye al desarrollo del Modelo de Madurez de Pruebas Integrado TMMI. -
Reuveni introduce el concepto de crowdtesting. -
Cohn propone la pirámide de automatización de pruebas. -
Crispin publica un libro pionero sobre pruebas ágiles.