-
Desarrolló el primer algoritmo destinado a ser procesado por una máquina. Reconoció que los errores en el software podían deberse a instrucciones incorrectas, no solo a fallos del hardware. -
-
Propuso métodos para verificar la corrección de los programas, destacando la importancia de que las personas que programan sean diferentes a las que prueban. -
-
Publicó el primer libro sobre programación digital, donde destacó la importancia de las pruebas para detectar errores lógicos. -
Diferenció entre la prueba de programas y la depuración. En esa época, no existía un concepto claro de pruebas de software. -
Introdujo principios sobre la adaptabilidad del software y subrayó las limitaciones de las pruebas manuales. -
Introdujo la necesidad de un enfoque disciplinado para las pruebas funcionales de software.
-
Famoso por oponerse al uso excesivo del comando "Go To", argumentando que las pruebas pueden mostrar la presencia de errores, pero no su ausencia. -
Participó en la conferencia de la OTAN sobre ingeniería de software, donde se abordaron temas sobre la garantía de calidad en el software. -
-
Organizaron conferencias sobre pruebas de software y propusieron modelos para mejorar la validación y verificación del software. -
En su libro El hombre-mes mítico, discutió la importancia de gestionar la complejidad en las pruebas de software. -
Autor de El arte de las pruebas de software, donde introdujo el concepto de pruebas de caja negra. -
Fue uno de los primeros en conceptualizar la fiabilidad del software. Publicó el libro Métricas de software y contribuyó con el concepto de "inspección de software". -
Introdujo la complejidad ciclomática como una métrica clave en el control de la complejidad del software. -
Desarrolló el proceso de inspecciones de código y diseño para reducir errores en el desarrollo de software.
-
Acuñó el término oráculo para referirse a los mecanismos que determinan si una prueba ha pasado o fallado. -
Introdujo la noción de que el costo de corregir defectos aumenta con el tiempo en su libro Economía de la ingeniería de software.
-
Propuso una distribución de inserción de defectos en el ciclo de vida del software, destacando que la mayoría se introducen en las fases de requisitos y diseño. -
Desarrolló el Modelo V, que relaciona las fases del ciclo de vida del desarrollo de software con las pruebas correspondientes. -
Publicó estudios sobre métricas de software, enfocándose en identificar tendencias de defectos. -
Coautora del libro Métricas de software: Establecimiento de un programa para toda la empresa, que presentó métodos para analizar y mejorar la calidad del software
-
Coautor de una obra clave sobre pruebas pragmáticas de software, donde introdujo el concepto de pruebas exploratorias. -
Fundador del programa de procesos de software del SEI y creador del Modelo de madurez de las capacidades (CMM). -
Clasificó los defectos de software y acuñó la "paradoja del pesticida", que describe la ineficiencia de pruebas repetitivas. -
Publicó el primer Reporte sobre pruebas de software asistidas por computadora (CAST), y fue una pionera en la automatización de pruebas de software. -
Publicó El arte de las pruebas de software, donde argumentó que probar software es un oficio que se aprende mejor a través de la experiencia. Fue uno de los autores del Manifiesto Ágil en 2001.
-
Publicó Pruebas de software: Un enfoque artesanal, obra que se convirtió en una referencia en la evolución de las pruebas de software. -
Desarrolló el Modelo de Estrategia de Pruebas Heurísticas, que propone técnicas de prueba adaptadas al contexto del proyecto. En 2001, creó la metodología Pruebas Rápidas de Software (RST). -
Coautor junto con Dorothy Graham del libro Automatización de pruebas de software, una referencia clave en el ámbito de las pruebas automatizadas. -
-
Desarrolló la metodología Test Driven Development (TDD), que propone escribir pruebas antes de escribir el código. -
Propuso la existencia de diferentes escuelas de pensamiento en las pruebas de software, como la escuela analítica y la dirigida por el contexto. -
Coautor de la metodología Rapid Software Testing (RST), distinguió entre probar y comprobar software.
-
Desarrolló el Modelo de madurez de pruebas integrado (TMMI) para mejorar el proceso de pruebas en organizaciones. -
Introdujo el concepto de crowdtesting, que promueve la realización de pruebas en entornos naturales en lugar de laboratorios controlados. -
Propuso la pirámide de automatización, destacando la importancia de tener diferentes niveles de pruebas para garantizar la calidad del software.
-
Coautora de Pruebas ágiles, pionera en adaptar las pruebas de software al marco ágil de desarrollo. -
En su capítulo sobre la automatización de pruebas, propuso realizar tareas automatizadas complementarias, como la configuración y generación de datos.