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

めるぽん.c @melponn

むくりん

くっくっkura 🇯🇵🦀 @PG_kura

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

くっくっkura 🇯🇵🦀 @PG_kura

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

ぐるぐる系SQL @bleis

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

IGARASHI Shinji＠無職 @s50

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

くっくっkura 🇯🇵🦀 @PG_kura

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

SKS rep @repeatedly

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

ぐるぐる系SQL @bleis

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

くっくっkura 🇯🇵🦀 @PG_kura

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

SKS rep @repeatedly

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

くっくっkura 🇯🇵🦀 @PG_kura

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

IGARASHI Shinji＠無職 @s50

@PG_kura unittestが色んなとこに書けますヨ http://www.kmonos.net/alang/d/2.0/unittest.html

@zakuro563

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

@zakuro563

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

くっくっkura 🇯🇵🦀 @PG_kura

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

ぐるぐる系SQL @bleis

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

くっくっkura 🇯🇵🦀 @PG_kura

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

SKS rep @repeatedly

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

こくぼ@Leaner Technologies @yusuke_kokubo

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

SKS rep @repeatedly

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

くっくっkura 🇯🇵🦀 @PG_kura

。oO ( ... Coq って何？)

@Pota_kamone

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

めるぽん.c @melponn

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

くっくっkura 🇯🇵🦀 @PG_kura

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

SKS rep @repeatedly

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