ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?

「テストって本当に要るの?」という僕の疑問に皆さんが回答してくれました。 D言語に unittest なんてあったのですね。 あと Coq についても少し出てきます。
19
くっくっkura 🇯🇵 @PG_kura

テストコードを記述するためだけの機能が言語に入ってないのはそもそも不要なものだからだよー、とか言ったら袋叩きにあうのかな。

2010-08-12 14:30:03
くっくっkura 🇯🇵 @PG_kura

テストと契約の違いは何か?そうした「妥当性の判断」は究極的にどうあるべきか?

2010-08-12 14:32:54
ふ''れいす @bleis

@PG_kura 何を不要と言っているかですかね。テストコードを記述するためだけの機能が不要、というのなら同意ですけど、テストコードが不要というなら同意できない [CIについて話します http://bit.ly/dtXLqV ]

2010-08-12 14:35:11
IGARASHI Shinji@無職 @s50

tama猊下「D言語Disってんのかこらぁ!」 RT @PG_kura: テストコードを記述するためだけの機能が言語に入ってないのはそもそも不要なものだからだよー、とか言ったら袋叩きにあうのかな。

2010-08-12 14:37:09
くっくっkura 🇯🇵 @PG_kura

.@bleis テストコードを記述するためだけの機能は不要だと思います。テストコードが不要かどうかついては分からないのであえての投下 post でした。テストコードは必要なものでしょうか?

2010-08-12 14:37:56
SKS/ファントムの申し子 @repeatedly

D言語はunittest機能自体がバグっていたから,あまり今まで嬉しかったことはない

2010-08-12 14:38:13
ふ''れいす @bleis

@PG_kura 少なくとも、テストコードを記述するためだけの機能がないことからテストコードが不要かどうかはわからないんじゃないかと。テストコードが必要か不要かについては、現実的には必要という考えでし [CIについて話します http://bit.ly/dtXLqV ]

2010-08-12 14:39:37
くっくっkura 🇯🇵 @PG_kura

@s50 D ってテスト記述用の文法ありましたっけ。(... というか契約とテストの違いがまず分かってない..)

2010-08-12 14:39:51
SKS/ファントムの申し子 @repeatedly

D言語のテスト記述用ってのはunittestブロックのことじゃない?リリースモードで消える,その中でのassertは止まらない,とか色々

2010-08-12 14:40:46
くっくっkura 🇯🇵 @PG_kura

お、そういうのがあるのですかー。なるほど。@kuramemo RT @repeatedly: D言語のテスト記述用ってのはunittestブロックのことじゃない?リリースモードで消える,その中でのassertは止まらない,とか色々

2010-08-12 14:42:29
@zakuro563

unittestってmoduleが正しく動くかテキトーにチェックする機能と思っていたけど、それだけではないの?

2010-08-12 14:43:01
@zakuro563

moduleには関数とか構造体とかもふくんで

2010-08-12 14:43:25
くっくっkura 🇯🇵 @PG_kura

.@bleis やはり現実的には必要・・・。テストが果たすべき目的を、テスト以外の何かで置換する可能性はありそうでしょうか?僕がテスト嫌いとか、そういうことではなくて単に興味があるのです。

2010-08-12 14:43:50
ふ''れいす @bleis

@PG_kura 大事な部分はそれこそCoqとか。でも全部でそれやるのは現実的じゃないのでテスト使う、みたいな [CIについて話します http://bit.ly/dtXLqV ]

2010-08-12 14:45:10
くっくっkura 🇯🇵 @PG_kura

あざます!D では契約とは別にテストを書くのですねー。使い分けに迷うことは無いんだろうか・・・。 RT @s50: @PG_kura unittestが色んなとこに書けますヨ http://www.kmonos.net/alang/d/2.0/unittest.html

2010-08-12 14:45:39
SKS/ファントムの申し子 @repeatedly

D言語のunittest部分でCoq書けたらいいのになぁ

2010-08-12 14:46:08
こくぼ @yusuke_kokubo

テストコード書くのが嫌ならテストしなくちゃいけないコードを書かなきゃ良いのでは?

2010-08-12 14:46:23
SKS/ファントムの申し子 @repeatedly

約はプログラミングロジックがおかしいのかをチェックするだけだから,単体テストとは被らない

2010-08-12 14:46:51
@Pota_kamone

あれ、テストコードって、本コード内に書くのが主流?

2010-08-12 14:49:15
std::ranges::めるぽん @melponn

DbCって、f(g(x)) とやったときに、g の事後条件と、f の事前条件が矛盾している場合はコンパイルエラーとかにできたりしないのだろうか。全部の条件が静的に決まる訳じゃないだろうし、やっぱり実行時エラーが限界かな・・・

2010-08-12 14:49:21
くっくっkura 🇯🇵 @PG_kura

kwsk! RT @yusuke_kokubo: テストコード書くのが嫌ならテストしなくちゃいけないコードを書かなきゃ良いのでは?

2010-08-12 14:50:01
SKS/ファントムの申し子 @repeatedly

@melponn templateとかの型レベルならstatic assertでコンパイルエラーに出来ますけどね

2010-08-12 14:50:15
残りを読む(49)

コメント

Yoshihiro503 @yoshihiro503 2010年8月12日
Coqについて興味をもたれた方はぜひ8/29のCoq庵にお越しください。みんなでペアプル(ペアプルービング)しながらCoqを習得しましょう。 http://atnd.org/events/6022
0
くっくっkura 🇯🇵 @PG_kura 2010年8月12日
足しますた。これで全部かな。
0
みねじろ! @minejiro 2010年8月12日
うーん、タイトルに期待して読んだら、何のため(目的)のない、どうやるか(技法)の議論か、まぁそういう話もしないよりはした方がいいんだけどさ。
0