【Perl,PHP】ＬＬバトルロワイヤル【Ruby,Python】

865 名前：デフォルトの名無しさん mailto:sage [2008/04/20(日) 18:10:31 ] 条件1: 静的型言語L1で記述されたプログラムP1に対して、 　　　　テスト基準C0を満たすテストケースT1を実行し、エラー0の結果を得る。 条件2：動的型言語L2で記述されたプログラムP2に対して、 　　　　において、テスト基準C0を満たすテストケースT2を実行し、エラー0の結果を得る。 また、P1およびP2は同じ仕様に基く、内容も1対1に対応するものとする。 一般に動的型言語のほうが有意にテスト量が大きくなることを示すためには、 以下の1いずれかを満たす必要がある。 結論1: | T2 | が | T1 | よりも有意に大きくなる。 結論2: P1もP2も未発見のバグを含んでいる可能性は残っているが、 　　　　　条件2で未発見のバグが同様の実装をされた条件1で発見されるものが 　　　　　条件1で未発見のバグが同様の実装をされた条件2で発見されるものよりも 　　　　　有意に大きくなる。 さあ、結論1でも結論2でも、実例なり根拠なりを示してくれ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef