Publicó el primer algoritmo para calcular números de Bernoulli
Tradujo y añadió notas al artículo de Luigi Menabrea sobre el motor analítico de Charles Babbage
Alan Turing
Propuso un método general para la verificación de programas
Sostuvo la idea "Quien prueba un programa debe ser diferente de quien lo escribe"
Daniel D. McCracken
Publica el primer texto sobre programación.
Recomendaba que el cliente sea quien prepara los casos de prueba para evitar mal entendidos.
Charles L. Baker
Explica la diferentcia entre probar programas y depurarlos
La atención se centraba en arreglas los defectos
Gerald M. Weinberg
Contribuyó al proyecto Mercurio de la NASA
Coautor del primer libro que contaba con un cápitulo dedicado a las pruebas de software
Publicó un libro que se centraba en enfatizar el aspecto humano en la programación
Bill Elmendorf
Explicó la necesidad de un enfoque disciplinado a pruebas funcionales
Propuso la automatización de pruebas
Edsger Dijkstra
Inició la programación estructurada y propuso métodos formales para probar la corrección de programas
Robert W. Bemer
En una conferencia patrocinada por la OTAN se trato el tema de la garantía de la calidad del software, posteriormente se plantearon preguntas que aportaron en la calidad del software
William C. Hetze
Publica un libro que contiene una compilación de artículos presentados en el que se exponen problemas relativos a la valicación de pruebas de software
Describen 4 modelos de pruebas de software en un artículo publicado por Gelperin y Hetzel
Frederick Brooks
Publicó varios ensayos sobre la ingeniería del software
Propuso que los errores conceptuales del software son más críticos que los sintácticos
Tom Glib
Considerado como uno de los primeros informáticos en conceptualizar la fiablilidad del sistema y del softwarem, y su realación entre el error humano y el error del sistema
Publicaría otro libro junto a Dorothy Graham, donde se detallan los procesos de revisión formal del software
Frederick Brooks
Publica un libro que contiene un conjunto de ensayos sobre la ingeniería del software
Las ideas expuestas por Brooks siguen teniendo vigencia incluso en entornos ágiles y DevOps
Glenford Myers
"El objetivo de los probadores es hacer que el programa falle"
Establece la terminología base de las pruebas de software
Introduce el concepto de pruebas de caja negra
Michael E. Fagan
Propone un proceso sistemático de inspección en el diseño, como en el código
Buscaba centrar su objetivo en reducir el costo del trabajo
IBM aplicó las inspecciones de Fagan, consiguiendo importantes mejoras en la calidad
Thomas J. McCabe
Introduce una complejidad ciclomática, basada en la teoría de grafos, como meétrica del software para el control cuantitativo de la complejjidad de un programa
Toma en cuentta también la estructura del programa independientemente de su tamaño o del lenguaje de programación
William C. Howden
Acuña el término oráculo para referirse a un mecanismo para determinar si una prueba ha pasado o fallado
Barry W. Boehm
Introduce la noción de que el costo de arreglar un defecto en el software aumenta conforme pasa el tiempo
Presenta el modelo de costos constructivos (COCOMO) para costear el software
James Martin
Mencionó que la distribucipon de la inserción de defectos en un proyecto se basa en:
56% de los defectos se introducen en los requisitos
27% durante el diseño
7% durante la codificación
Paul E. Rook
Initroduce un enfoque estructurado para las pruebas y el modelo V para el desarrollo
El modelo V se populariza en Europa como alternativa al modelo en cascada
El modelo V asocia a cada fase del ciclo de vida del desarrollo con una correspondiente fase de pruebas
Robert B. Grady
Explica que son las métricas y cuando son útiles
Presenta una taxonomía de defectos de software elaborada para HP, con el fin de identificar tendencias de defectos en productos terminados
Cem Kaner
Ulitiza por primera vez el término "prueba exploratoria"
Ha aportado con leyes en USA para el licenciamiento de software
Watts Humphrey
Padre de la calidad del software
Fundador del programa de procesos de software del SEI
Propone el modelo de madurez de las capacidades
Boris Beizer
Propone una clasificación de defectos de software
Acuña el término "paradoja de pesticida"
Dorothy Graham
Describe el rpograma de estudios para la certificación del nivel básico de pruebas en el software
Publica el primer reporte sobre pruebas de software asistidas
Brian Marick
Manifiesta que probar software es un oficio como la carpintería
Se centra en el aprendizaje de como realizar una prueba, en base a la experticia de alguien que conozca mucho más
Paul C. Jorgensen
Las ediciones dee sus libros se han convertido en referencia de las tecnologías en el ámbito de las pruebas de software
R. Geoff Dromey
Propone un modelo de calidad para resolver la intangibilidad dee las características de calidad que se muestran en la norma ISO 9126:1991
James Bach
Propone el Modelo de Estrategia de Pruebas Heurísticas
El proposito es enfatizar que la selección de técnicas de prueba a usar, deben tomar en cuenta el ambiente del proyecto
Eric S. Raymond
Describe el método de desarrollo de software que utilizó Linus Torvalds para crear Linux
Detalla 19 pautas para crear un buen software de código abierto
Jonathan Bach
Propone la escala de elibertad del probador, la cual modela la variaciión en el grado de libertad que tiene un probador cuando realiiza pruebas
