アカウント名:
パスワード:
プログラム=仕様よりは現実味があると思う。もちろん人間がプログラムを書くためには自然言語で書かれた仕様書が必要だけど、テストケースにより要求される(またはされない)動作をNormativeにするってことね。・コードを修正したらテストを通さなければならないことにしておけば、プログラムと仕様の乖離が生じない。・自然言語の仕様書ではどうしても微妙なケースでの解釈のブレが生じる。それを避けようとするとどんどん仕様書がプログラムそのものみたいになってくる(HTML5の仕様とか読んでみるとわかる)。最近のW3Cの仕様は、適合ユーザーエージェントが2つ以上存在しないと勧告にまで持っていけないけど、適合性の判断は用意されたテストケースを通せるかどうかで行うことになってるし。ECMA-262 (JavaScript) もテストケースが用意されるようになったね。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
犯人はmoriwaka -- Anonymous Coward
テスト=仕様とする (スコア:1)
プログラム=仕様よりは現実味があると思う。
もちろん人間がプログラムを書くためには自然言語で書かれた仕様書が必要だけど、テストケースにより要求される(またはされない)動作をNormativeにするってことね。
・コードを修正したらテストを通さなければならないことにしておけば、プログラムと仕様の乖離が生じない。
・自然言語の仕様書ではどうしても微妙なケースでの解釈のブレが生じる。それを避けようとするとどんどん仕様書がプログラムそのものみたいになってくる(HTML5の仕様とか読んでみるとわかる)。
最近のW3Cの仕様は、適合ユーザーエージェントが2つ以上存在しないと勧告にまで持っていけないけど、適合性の判断は用意されたテストケースを通せるかどうかで行うことになってるし。ECMA-262 (JavaScript) もテストケースが用意されるようになったね。