デバッグの理論と実践

『ビューティフルコード』『Ｍａｋｉｎｇ　Ｓｏｆｔｗａｒｅ』の著者の一人であり、ＧＮＵ　Ｄａｔａ　Ｄｉｓｐｌａｙ　Ｄｅｂｕｇｇｅｒ（ＤＤＤ）の開発者である著者が、なぜプログラムがうまく動かないかについて、効率的な原因究明方法とデバッグ方法を提案。なぜ「系統的」で「自動的」なデバッグが必要なのかの重要性を説き、そしてそれを実現するための手法として、差分デバッグ、科学的手法といった具体的なテクニックやさまざまなツールの詳細を紹介しています。デバッグ作業を効率化し、デバッグの苦痛を軽減するという著者の信念に基づいて書かれた本書は、多くのプログラマにとって福音となる一冊です。