Leí y estudié mucha informática e ingeniería y rara vez o nunca vi un libro sobre depuración o una teoría sobre cómo depurar (aunque seguramente desarrollé algunas teorías de depuración propias).

¿Hay alguna teoría y / o libro de depuración? ¿Por qué por qué no? Puedo leer cómo depurar usando gdb y algunas de las informaciones más útiles sobre el desarrollo que obtuve al leer cómo usar gdb.

Leí Debug IT de programadores pragmáticos. Como casi todos los libros de programadores pragmáticos, es bastante práctico pero no tan profundo, pero fue bueno ayudarme a enseñar a los nuevos desarrolladores cómo establecer su "mentalidad de depuración". No hay magia negra, sino más sentido común y casi todo parece realmente intuitivo para programadores experimentados.

Hay depuración: las 9 reglas indispensables para encontrar incluso los problemas de software y hardware más difíciles de alcanzar . No recuerdo que sea terriblemente profundo o académico, pero ciertamente tiene algunas ideas e historias interesantes.

También es muy útil ver la depuración desde la perspectiva del hardware; en general, la depuración del hardware es más difícil que la depuración del software. Cada capítulo del libro está motivado por una "historia de guerra" de la experiencia del autor; el resto del capítulo repasa qué técnica encontró útil en ese caso particular. Las historias son una buena combinación de desarrollo de hardware y software.

Ciertamente, el enfoque de comenzar cada capítulo con una historia de la vida real es muy instructivo.

El Saff Squeeze es una técnica descrita por Kent Beck que utiliza pruebas y refactorización para la depuración:

Hit 'em High, Hit' em Low :

Pruebas de regresión y el apretón de Saff

Kent Beck, Instituto de los Tres Ríos

Resumen: Para aislar un defecto de manera efectiva, comience con una prueba a nivel del sistema y en línea y pode progresivamente hasta que tenga la prueba más pequeña posible que demuestre el defecto.