-
Creó un algoritmo para el motor analítico inventado por Charles Babagge, considerado como el primer programa de computación. También reconoció el potencial de las computadoras y el software. -
-
Propuso un método para la prueba de programas y señaló la importancia de separar al programador del tester. -
-
Autor del primer libro de programación ”Programación de computadores digitales" -
Explicó la diferencia entre probar programas y depurarlos, ya que en la década de los 50's, estos procesos no se distinguían correctamente. -
Uno de los autores del primer libro enfocado en pruebas de software. -
Plantea por primera vez la necesidad de un enfoque disciplinado para las pruebas funcionales y propuso pruebas basadas en modelos. -
Habló sobre la garantía de calidad de software durante la Conferencia de Ingeniería de Software patrocinada por el Comité Científico de la OTAN. -
Criticó el uso excesivo de la sentencia Go To, marcando así el inicio de la programación estructurada. También recibió el Premio Turing en 1962. -
-
Organizadores de la primera conferencia dedicada a pruebas de software. Además, publicaron artículos donde describen modelos, metodologías y principios para pruebas de software. -
Autor del libro "El hombre-mes". Este es un conjunto de ensayos de software, que exponen ideas válidas incluso en entornos ágiles y DevOps. -
Da concepto a la fiabilidad del sistema y del software. Autor de un texto referencia en métricas de software y detalló el proceso formal de revisión del software. -
Introdujo la complejidad ciclomática como métrica para medir la complejidad estructural del software. -
Propuso un proceso para la inspección de diseños y códigos, buscando reducir el costo del retrabajo. Esto fue aplicado por IBM, mejorando así la calidad, duplicando su producción y reduciendo el número de defectos que tenían. -
En su libro, definió la terminología básica para las pruebas de software e introdujo las pruebas de caja negra. -
Define la palabra "oráculo" como un método para determinar si una prueba se ha pasado o se ha fallado. -
Introduce la idea de que el costo de arreglar un defecto de software, aumenta con el tiempo. También presenta el Modelo de Costos Constructivos, conocido como COCOMO. -
Indicó que el 56% de los defectos de un proyecto de software se dan en la fase de requisitos, un 27% en el diseño y un 7% en la codificación. -
Presenta el modelo "V" para el desarrollo de software como alternativa al modelo tradicional "Cascada". -
Desarrolló explicaciones a métricas de software y taxonomías de defectos de software, para mejorar la calidad y prevenir errores. -
Pionero en las pruebas exploratorias y en la creación de la Escuela de Pruebas Dirigidas por el Contexto. -
Considerado padre de la calidad de software, propone el modelo de madurez de las capacidades, describe el proceso personal de software y explica como liderar equipos de ingenieros de software. -
Propuso una clasificación de defectos de software y describió la paradoja del pesticida en las pruebas. -
Ha publicado varias obras en el ámbito de la automatización de pruebas. Además de describir el programa de estudios para la certificación ISTQB. -
Compara el probar software con la carpintería, se aprende mejor en persona y bajo la supervisión de alguien mas experimentado. Publicó varios artículos sobre pruebas ágiles, definiendo dimensiones para caracterizar los tipos de pruebas. -
Publicó libros considerados como referencia de las tecnologías en evolución en el ámbito de las pruebas de software. -
Propuso el Modelo de Estrategia de Pruebas Heurísticas, para diseñar y elegir pruebas. También, creó la metodología Pruebas Rápidas de Software. -
Propuso un modelo de calidad para resolver la intangibilidad de las características de calidad propuestas en la norma ISO/IEC 9126:199. -
Describió el método de desarrollo utilizado para crear el sistema operativo Linux, presentando la Ley de Linus y lo que implica que el código fuente sea público. -
Propone una escala que modela la variación del grado de libertad que tiene un tester al momento de realizar pruebas. -
-
Desarrolló la metodología de Desarrollo Dirigido por Pruebas (TDD) y fue uno de los pioneros de la programación extrema (XP). -
Definió cuatro escuelas de pruebas de software: analítica, dirigida por normas, orientada hacia
la calidad, y dirigida por el contexto. -
Coautor de la metodología de Pruebas Rápidas de Software (RST) y planteó las diferencias entre "probar" y "comprobar". -
Cofundador del modelo TMMI para evaluar y mejorar los procesos de pruebas en organizaciones. -
Cofundador del concepto de crowdtesting, que busca enfocar las pruebas en un medio natural. -
Aportó en la publicación de varios libros relacionados en el ámbito de pruebas ágiles. -
Propuso la Pirámide de Automatización de Pruebas con tres niveles: unidad, servicio, e interfaz de usuario. -
Propone utilizar la automatización en tareas como configuración de pruebas, generación de datos, y avance a lo largo de un flujo de trabajo, además de la utilización de pruebas exploratorias manuales.