Eu li e estudei muita ciência da computação e engenharia e raramente ou nunca vi um livro sobre depuração ou uma teoria sobre como depurar (embora eu certamente tenha desenvolvido algumas teorias sobre depuração).

Existem teorias de depuração e / ou livros? Porque porque não? Eu posso ler como depurar usando o gdb e algumas das informações mais úteis sobre desenvolvimento que obtive ao ler como usar o gdb.

Eu li o Debug IT de programadores pragmáticos. Como quase todos os livros de programadores pragmáticos, é bastante prático, mas não tão profundo, mas foi bom me ajudar a ensinar aos novos desenvolvedores como definir sua "mentalidade de depuração". Não há magia negra, mas mais senso comum e quase tudo parece realmente intuitivo para programadores experientes.

Há depuração: as 9 regras indispensáveis ​​para encontrar até os problemas mais difíceis de software e hardware . Não me lembro de ser terrivelmente profundo ou de todo acadêmico, mas certamente tem algumas idéias e histórias interessantes.

Também é muito útil ver a depuração da perspectiva do hardware - geralmente, a depuração de hardware é mais difícil do que a depuração de software. Cada capítulo do livro é motivado por uma "história de guerra" da experiência do autor; o restante do capítulo aborda qual técnica ele achou útil nesse caso específico. As histórias são uma boa mistura de desenvolvimento de hardware e software.

Eu certamente achei a abordagem de começar cada capítulo com uma história da vida real muito instrutiva.

O Saff Squeeze é uma técnica descrita por Kent Beck que usa testes e refatoração para depuração:

Bata neles alto, bata neles baixo :

Teste de regressão e o aperto do Saff

Kent Beck, Instituto dos Três Rios

Resumo: Para isolar efetivamente um defeito, comece com um teste no nível do sistema e progressivamente inline e poda até que você tenha o menor teste possível que demonstre o defeito.