デバッグの科学的手法: 柴田 芳樹 (Yoshiki Shibata)

「ソフトウェアエンジニアの心得」教育や講演では、論理的思考ということで、デバッグのやり方について話をします。しかし、その方法についてはスライドを準備せずに口頭で話をしてきました。本書の28章では、その点に関して、上手くまとめてありましたので、紹介します。 1. プログラムの失敗を観察する 2. 観察と矛盾しない失敗の原因についての仮説を立てる 3. 仮説を使って予想する 4. 予想を実験でテストして、さらに観察する a. 実験と観察が予想を満たすなら、仮説をさらに精緻なものにする b. 満たさないなら、別の仮説を立てる 5. 仮説がこれ以上精緻にできなくなるまで、手順3と4を繰り返す。そして、次のように述べられています。 あいにく、現状の対話的デバッガは科学的手法をサポートしていません。確かに、デバッガはコードをつついたり調べたりして自由に結果を得られる偉大なツールです。これはとても良いこ

[Nagise]

「観察と矛盾しない失敗の原因についての仮説を立てる」工学系の大学出てる人でも「観察」がおろそかだったりするなぁ。学生実験でやっただろ。ノイズが入らないように試行して観察するんだよ！