デバッグの理論と実践

なぜプログラムはうまく動かないのか
Ｗｈｙ　ｐｒｏｇｒａｍｓ　ｆａｉｌ．２ｎｄ　ｅｄ．

オライリー・ジャパン オーム社
アンドレアス・ツェラー　中田秀基　今田昌宏　大岩尚宏　竹田香苗　宮原久美子　

• 価格: 3,520円（本体3,200円＋税）
• 発行年月: 2012年12月
• 判型: Ｂ５
• ISBN: 9784873115931

内容情報

[BOOKデータベースより]

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

障害はどのように起こるのか
問題の管理
プログラムを失敗させる
問題の再現
プログラムの単純化
欠陥の修正
失敗から学ぶ
形式的な定義〔ほか〕