Andreas Zeller 未だに個人的な技芸の域を脱しきれていないプログラミングと言う過程の中でも特に 属人的な要素の強いデバッグという過程に対して、「科学的」な手法を適用すれば システマティックにデバッグできることを示している、かなり画期的な本。 個別のデバッガを使ってどうこうする、という話ではなく、 どのように仮説を立て、それを検証していくのか、という戦略の立て方を論じている。 著者のAndreas Zellerは、デバッグ関連の一流研究者なので、デバッグの研究が 今どこまで進んでいるのかを知るという意味でも役に立つ。 もともと大学(院)のテキストとして書かれたものなので、若干敷居は高いけど 特に前半の戦略を議論している部分はすべての実務プログラマにとって有益なはず。 全体的に若干やり過ぎ感はあるけど、今後進むべき方針を示しているということで。 圧巻なのは14章。gcc2.95.2
![デバッグの理論と実践 ―なぜプログラムはうまく動かないのか - hidemonのブログ](https://cdn-ak-scissors.b.st-hatena.com/image/square/bbc51e1e556c60316224f4d77526808949a4af08/height=288;version=1;width=512/http%3A%2F%2Fecx.images-amazon.com%2Fimages%2FI%2F51jd8ZxKULL.jpg)