数学的帰納法で完全なテストを行えるか？以前、完全なテストは不可能だ という稿を書いたのですが、これに対して 反論しているページ を見つけたので考察しておきます。 反論の骨子 該当ページの文章が短いので全文引用となってしまいますが、法的な引用の要件を満たせると思うので引用します。 思うに、それは論理学でいうところの帰納法で解決できるのではなかろうか。 完全なテストは不可能だ: さて、プログラムの話に戻ります。intの引数を2個とる場合、その組み合わせは1600京ほどに なるということを先の稿で述べました。 そして、バグが「ある」ことを証明する場合、バグの例をひとつ探し出せばよいのに対し、 バグが「ない」ことを証明するにはこの1600京のパターンすべてを網羅して検査し、 全て正常に動いたということを提示しなければなりません。 数学でも、全ての数を計算したわけではないのに成立している定理は山ほどある。というかそうでないものの方が少な
Setting up a Bonjour Name Server
