-
-
Considerada la primera programadora al escribir un algoritmo para la máquina analítica de Babbage. Reconoció la posibilidad de errores no solo por fallos mecánicos, sino también por instrucciones defectuosas. -
Introduce conceptos clave sobre la verificación de programas y la necesidad de que la persona que prueba sea distinta del programador. Sienta las bases para la verificación formal de softwar -
-
publica el primer libro sobre programación que menciona la importancia de preparar pruebas. -
Diferencia entre prueba y depuración, iniciando la conceptualización de las pruebas como una actividad independiente. -
Promueve la planificación anticipada de pruebas y el enfoque en el comportamiento del sistema más allá del código. -
Sugiere por primera vez un enfoque disciplinado para pruebas funcionales. -
Incluye aspectos de garantía de calidad en la planificación de software. -
Critica el uso del GOTO, introduce programación estructurada y afirma que las pruebas no bastan para demostrar la ausencia de errores: se requiere verificación formal. -
-
Clasifican cuatro enfoques de prueba: demostración, destrucción, evaluación y prevención. -
en “El mítico hombre-mes” afirma que las pruebas son esenciales y que el desarrollo de software está limitado por la complejidad conceptual, no por la codificación. -
Introduce el concepto de fiabilidad y métricas de software. -
Establece las inspecciones de código y diseño como método formal de detección de defectos. -
Propone la métrica de complejidad ciclomática y pruebas de caja blanca. -
Introduce el concepto de oráculo de prueba. -
Introduce el concepto de prueba de caja negra. -
-
Publica el modelo COCOMO y destaca el costo creciente de corregir errores en etapas tardías. -
Identifica que la mayoría de los defectos se originan en la etapa de requisitos. -
Introduce el Modelo V, que relaciona etapas de desarrollo con etapas de prueba. -
Inicia el uso sistemático de métricas de software para la mejora de calidad. -
Crea el concepto de prueba exploratoria. -
Propone el Modelo de Madurez de Capacidades (CMM) y el enfoque PSP/TSP. -
Introduce la “paradoja del pesticida”: repetir las mismas pruebas reduce su efectividad. -
-
Impulsa la automatización de pruebas con herramientas (CAST) y contribuye a la certificación ISTQB. -
Vincula las pruebas con las prácticas ágiles y propone los cuadrantes de pruebas. -
Aporta un enfoque artesanal a las pruebas. -
Desarrolla el modelo heurístico de estrategia de pruebas y la metodología de pruebas rápidas (Rapid Software Testing). -
Intenta resolver la intangibilidad de la calidad con un nuevo modelo basado en ISO/IEC 9126. -
Publica “La catedral y el bazar”, defendiendo que el código abierto permite identificar errores más rápido (Ley de Linus). -
Propone la gestión de pruebas basada en sesiones y la escala de libertad del probador. -
-
Reintroduce el desarrollo guiado por pruebas (TDD), y participa en el desarrollo de XP. -
Clasifica las pruebas en escuelas de pensamiento: analítica, normativa, orientada a calidad y dirigida por contexto. -
Distingue entre probar (descubrir, investigar) y comprobar (verificar automatizadamente). -
Lidera el desarrollo del modelo TMMi, para evaluar y mejorar procesos de pruebas. -
Publica el libro “Guía esencial de crowdtesting”. El término crowdtesting surgió del término crowdsourcing que fue acuñado en 2006, por
Jeff Howe y Mark Robinson -
Publica el libro “Triunfando con la agilidad”, donde propone la “pirámide de automatización de pruebas”. -
Publica, en conjunto
con Janeth Gregory, el libro “Pruebas ágiles: Una guía práctica para probadores y equipos
ágiles” -
Contribuye con
el capítulo “La automatización es mucho más que pruebas de regresión: Pensando fuera
de la caja” que forma parte del libro “Experiencias de automatización de pruebas: Casos
prácticos de automatización de pruebas de software”