悪魔の証明とユーザサポート - 豪鬼メモ

悪魔の証明とユーザサポート - 豪鬼メモ

「見つからないことは、存在しないことの証明にはならない」 これは、消極的事実の証明とか、悪魔（神）...概要を表示 「見つからないことは、存在しないことの証明にはならない」 これは、消極的事実の証明とか、悪魔（神）の不在証明とか言われる類の命題の困難さを示す格言だ。プログラムの完全性の証明も、不具合の不在証明と同義なので、同様に困難だ。このことは、しばしばデバッグの際の論争の種になる。 なんでこんなことを突然書いたかというと、たまにライブラリのユーザサポートで困ることがあるからだ。「あなたのライブラリを使っている私のシステムが落ちた」という報告をいただくことがある。その場合、私は、原因の究明をしたいと願う。私のライブラリに原因があるのなら、ぜひとも直したい。沽券に関わる問題だ。 どういうアクセスパターンでどういう不具合が起きるのかをまず知りたくなる。どのクラスのどのメソッドをどの順番でどんなパラメータで読んでいるのか。並列呼び出しをしているのかどうか。ファイルサイズやレコードのデータサイズはどうか。ログ