-
Tradujo el artículo sobre la máquina analítica de Babbage y escribió el primer algoritmo considerado como el primer programa de computación. -
Propuso un método de prueba general para verificar programas y señaló la necesidad de que la persona que prueba sea distinta de la que programa. -
Publicó el libro Programación de computadores digitales, el primer texto sobre programación, y abordó la importancia de las pruebas para detectar errores lógicos. -
Diferenció entre pruebas y depuración, destacando que en los años 50 se enfocaba en arreglar defectos más que en probar software. -
Introdujo el concepto de pruebas de software con principios fundamentales sobre cómo escribir y comprobar programas. -
Propuso un enfoque disciplinado para las pruebas funcionales del software. -
Participó en la primera conferencia de ingeniería de software y propuso preguntas clave sobre la garantía de calidad de software. -
Escribió la carta Go To considerada perjudicial, impulsando la programación estructurada y la mejora en las pruebas de software. -
Publicó Métodos de prueba de programas, que recopilaba artículos clave sobre validación y pruebas de software. -
En El mítico hombre-mes, abordó la dificultad de gestionar proyectos de software, incluyendo pruebas y depuración. -
Conceptualizó la fiabilidad del software y publicó Métricas de software, presentando un conjunto de métricas clave. -
Propuesto un proceso sistemático de inspección de diseño y código para reducir errores. -
En Fiabilidad del software destacó que el objetivo de los probadores es hacer que el programa falle. -
Introdujo la complejidad ciclomática para medir la complejidad del software y propuso la prueba de ruta básica. -
Acuñó el término "oráculo" para referirse al mecanismo que determina si una prueba ha pasado o fallado. -
En Economía de la ingeniería de software, introdujo el concepto de costos de retrabajo y el modelo COCOMO para estimar costos. -
Publicó Manifiesto de los sistemas de información, donde destacó el porcentaje de defectos introducidos en diferentes fases del desarrollo. -
Presentó el Modelo V para desarrollo de software, asociando fases del ciclo de vida con correspondientes fases de pruebas.
-
Publicó obras sobre métricas de software, destacando la identificación y prevención de defectos. -
Escribió Pruebas de software informático, donde introdujo el término "prueba exploratoria" y contribuyó al desarrollo de la Escuela de Pruebas Dirigidas por el Contexto. -
Fundó el programa de procesos de software del SEI y publicó el modelo de madurez de las capacidades (CMM) para mejorar la calidad del software. -
Propuso una clasificación de defectos de software y acuñó el término "paradoja del pesticida". -
Publicó Reporte sobre pruebas de software asistidas por computador y fue coautora de textos clásicos sobre automatización de pruebas. -
Publicó El arte de las pruebas de software, con énfasis en subsistemas y pruebas ágiles. -
Publicó Pruebas de software: Un enfoque artesanal, obra de referencia en la evolución de tecnologías de pruebas. -
Propuso un modelo de calidad para resolver la intangibilidad de las características de calidad del software. -
Introdujo el Modelo de Estrategia de Pruebas Heurísticas y la metodología Pruebas Rápidas de Software (RST). -
Publicó La catedral y el bazar, describiendo el método de desarrollo de software de código abierto y la Ley de Linus. -
Propuso la gestión de pruebas basada en sesiones y la escala de libertad del probador.