Я читал и изучал много компьютерных наук и техники, и я редко или никогда не видел книгу об отладке или теорию отладки (хотя я, конечно, разработал некоторые собственные теории отладки).

Существуют ли теории отладки и / или книги? Почему, почему нет? Я могу прочитать, как отлаживать с помощью gdb, и некоторую полезную информацию о разработке, которую я получил, прочитав, как использовать gdb.

Я читал « Отладка ИТ» от программистов Pragmatic. Как и почти все книги от прагматичных программистов, она довольно практична, но не настолько глубока, но была полезна, чтобы помочь мне научить новых разработчиков, как настроить их «отладочный образ мыслей». Там нет черной магии, но больше здравого смысла и почти все выглядит действительно интуитивно понятным для опытных программистов.

Существует Отладка: 9 Обязательных Правил для Обнаружения Даже Самых Неуловимых Программных и Аппаратных Проблем . Я не помню, чтобы это было ужасно глубоко или вообще академично, но у этого, конечно, есть некоторые интересные идеи и истории.

Это также очень полезно , чтобы увидеть отладку с аппаратной точки зрения - как правило, отладка аппаратных средств более сложные , чем отладка программного обеспечения. Каждая глава книги мотивирована «военной историей» из опыта автора; остальная часть главы посвящена тому, какую технику он нашел полезным в данном конкретном случае. Истории представляют собой хорошее сочетание как аппаратной, так и программной разработки.

Я, конечно, посчитал подход к началу каждой главы реальным сюжетом очень поучительным.

Squeeze Saff является метод , описанный Кента Бека , который использует тесты и рефакторинг для отладки:

Хит их высокий, Хит их низкий :

Регрессионное тестирование и сжатие Saff

Кент Бек, Институт трех рек

Аннотация: Чтобы эффективно локализовать дефект, начните с теста на системном уровне и постепенно включайте его и сокращайте до тех пор, пока у вас не будет минимально возможного теста, демонстрирующего дефект.