-
Desarrolló el primer algoritmo para la máquina analítica de Charles Babbage. Aportó la idea de que los errores podían ser tanto del hardware como del software. -
Introdujo el concepto de pruebas de verificación de programas y sugirió que el probador debía ser independiente del programador. -
Publicó el primer texto sobre programación digital, haciendo énfasis en las pruebas por parte del cliente para identificar errores lógicos.
-
Introdujo la distinción entre pruebas y depuración, lo que ayudó a formalizar el concepto de pruebas de software. -
Publicó el primer capítulo dedicado a las pruebas de software y promovió la planificación de pruebas antes de cada mini-incremento de desarrollo.
-
Planteó la necesidad de un enfoque disciplinado para las pruebas funcionales y propuso la automatización de las pruebas.
-
Criticó el uso excesivo del Go To y promovió la programación estructurada para facilitar las pruebas y depuración. -
Contribuyó a la Conferencia de Ingeniería de Software de la OTAN, donde se estableció la importancia de la garantía de calidad del software. -
Organizaron la primera conferencia de pruebas de software y describieron modelos para prevenir defectos en el software. Hetzel publicó libros influyentes sobre metodologías de pruebas.
-
En su obra El mítico hombre-mes, destacó la importancia de las pruebas y el diseño conceptual en la reducción de errores. -
Fue pionero en la medición de la fiabilidad del software y publicó el texto Métricas de software, que introdujo métricas para evaluar la calidad. -
Desarrolló las inspecciones de diseño y código, que ayudaron a reducir el costo del retrabajo en grandes proyectos.
-
Introdujo la complejidad ciclomática, una métrica de control de la complejidad del software basada en la teoría de grafos. -
Definió las pruebas de caja negra y estableció principios básicos de fiabilidad y prácticas en pruebas de software.
-
Introdujo el término oráculo para describir mecanismos que determinan si una prueba ha sido exitosa o fallida.
-
Desarrolló el modelo COCOMO y presentó el concepto del costo creciente de corrección de defectos en fases posteriores del desarrollo. -
Publicó sobre la distribución de defectos en el ciclo de desarrollo, mostrando cómo la mayoría de los errores ocurren en las fases tempranas. -
Propuso el Modelo V para el desarrollo y pruebas estructuradas de software.
-
Introdujo un programa de métricas para mejorar la calidad del software y creó una taxonomía de defectos.
-
Fundó la escuela de pruebas orientadas al contexto y fue pionero en la introducción de la prueba exploratoria. -
Desarrolló el Capability Maturity Model (CMM) para la mejora continua en los procesos de desarrollo de software. -
Propuso la clasificación de defectos y acuñó la paradoja del pesticida, que señala que las pruebas repetitivas disminuyen su efectividad. -
Lideró la automatización de pruebas de software y ayudó a desarrollar el programa de certificación ISTQB. -
Participó en el Manifiesto Ágil y desarrolló los cuadrantes de pruebas ágiles, proponiendo un enfoque más artesanal para las pruebas.
-
Publicó libros influyentes sobre técnicas de pruebas de software y su enfoque artesanal. -
Desarrolló el modelo de estrategias heurísticas para las pruebas y fundó la metodología de Pruebas Rápidas de Software. -
Propuso un modelo de calidad para resolver la intangibilidad de las características de calidad en la norma ISO/IEC 9126. -
Publicó La catedral y el bazar, que popularizó la idea de que los errores se detectan más rápido cuando el código es público. -
Desarrolló la gestión de pruebas basada en sesiones y la escala de libertad del probador, que define el grado de independencia en las pruebas.
-
Popularizó el Desarrollo Guiado por Pruebas (TDD) y fue una figura clave en la metodología de Programación Extrema (XP). -
Desarrolló el concepto de las cuatro escuelas de pruebas de software (analítica, dirigida por normas, orientada a la calidad y dirigida por el contexto). Más tarde, agregó la escuela ágil como una de las estrategias clave para probar software.
-
Distinguió entre probar y comprobar, impulsando un enfoque más exploratorio y de descubrimiento en las pruebas de software.
-
Lideró el desarrollo del Modelo de Madurez de Pruebas Integrado (TMMI), un estándar para mejorar los procesos de pruebas. -
Introdujo el concepto de crowdtesting, donde las pruebas se realizan en entornos naturales y con diferentes dispositivos para asegurar la cobertura. -
Desarrolló la pirámide de automatización de pruebas, promoviendo una estrategia con niveles de prueba en unidades, servicios e interfaz de usuario. -
Fue pionera en las pruebas ágiles y coautora de libros clave sobre la integración de pruebas en equipos ágiles. -
Promovió el uso de la automatización más allá de las pruebas de regresión, aplicándola para la generación de datos y configuraciones.