-
Publicó el primer algoritmo para una máquina analítica, considerado el primer programa de computación. Reconoció que los errores podían provenir tanto del hardware como del software. -
-
Propuso un método general de prueba que es la base de la verificación de programas. Sugirió que el probador debería ser distinto al programador. -
-
Publicó el primer texto sobre programación, mencionando la importancia de que el cliente prepare casos de prueba. -
Explicó la diferencia entre probar programas y depurarlos. -
Trabajó en el proyecto Mercurio de la NASA. Publicó libros sobre fundamentos de programación y psicología de la programación. -
Explicó la necesidad de un enfoque disciplinado para las pruebas funcionales del software. -
Participó en la Conferencia de Ingeniería de Software de la NATO, donde se trató el tema de garantía de calidad de software. -
Criticó el uso excesivo de la sentencia Go To y marcó el inicio de la programación estructurada. -
-
Organizaron la primera conferencia sobre pruebas de software y describieron modelos para pruebas de software. -
Publicó "El mítico hombre-mes", con ensayos sobre ingeniería de software y pruebas. -
Conceptualizó la fiabilidad del sistema y del software. Publicó sobre métricas e inspecciones de software. -
Introdujo la complejidad ciclomática como métrica de software. -
Estableció la terminología base de las pruebas de software e introdujo el concepto de pruebas de caja negra. -
Propuso un proceso sistemático de inspección de diseños y códigos. -
Acuñó el término "oráculo" en el contexto de las pruebas de software. -
Introdujo la noción del aumento del costo de retrabajo con el tiempo y presentó el modelo COCOMO. -
Describió la distribución de la inserción de defectos en proyectos de software. -
Presentó el Modelo V para desarrollo de software. -
Publicó sobre métricas de software y taxonomía de defectos. -
Introdujo el término "prueba exploratoria" y co-fundó la Escuela de Pruebas Dirigidas por el Contexto. -
Propuso el modelo CMM, PSP y TSP para mejorar la calidad y productividad del proceso de desarrollo de software. -
Propuso una clasificación de defectos de software y acuñó el término "paradoja del pesticida". -
Publicó sobre automatización de pruebas y fundamentos de las pruebas de software. -
Publicó sobre el arte de las pruebas de software y definió los cuadrantes de pruebas ágiles. -
Publicó sobre pruebas de software con un enfoque artesanal. -
Propuso un modelo de calidad para resolver la intangibilidad de las características de calidad. -
Propuso el Modelo de Estrategia de Pruebas Heurísticas y creó la metodología RST. -
Describió el método de desarrollo de software de código abierto y presentó la Ley de Linus. -
Publicó sobre gestión de pruebas basada en la sesión. -
-
Publicó sobre Desarrollo Guiado por las Pruebas (TDD) y contribuyó con patrones de software y programación extrema. -
Propuso la existencia de escuelas de pensamiento en las pruebas de software. -
Co-autor de la metodología RST y distinguió entre probar y comprobar. -
Creó la Fundación TMMI y desarrolló el Modelo de Madurez de Pruebas Integrado. -
Publicó sobre crowdtesting. -
Publicó libros pioneros sobre pruebas ágiles. -
Propuso la pirámide de automatización de pruebas. -
Contribuyó con ideas sobre la automatización más allá de las pruebas de regresión.