-
Ada Lovelace
- 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
- Mencionó que la distribucipon de la inserción de defectos en un proyecto se basa en:
-
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