中里一日記: 政治としてのテスト・バグ・仕様政治としてのテスト・バグ・仕様 『ビューティフルテスティング――ソフトウェアテストの美しい実践』をざっと読んだ。 感想――絶望。 「完全な仕様書」なるものを考えよう。そのまま実行できるか、少なくとも完全なテストスイートを生成できる仕様書だ。「完全なテストスイート」とは、それをパスすれば必ず仕様を満たしていると言えるテストスイートだ。ただし、これらはあくまで思考実験上の存在である。現実的な時間内に実行を終えられるかどうかは問わないし、実在できなくてもかまわない。 1913年、ホワイトヘッドとラッセルは、算術の完全な仕様書を書いた。タイトルを『Principia Mathematica』という。算術、つまり、1+1=2や4x4=16といった操作が、この仕様書には定義されている。 ウィトゲンシュタインはこの仕様書を次のように批判した。 「足し算引き算割り算掛け算は、世界中の人間が毎日やっている。
