エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
An introduction to property based testing の途中までにだいたい沿った内容を書きます。雑な翻訳とも... An introduction to property based testing の途中までにだいたい沿った内容を書きます。雑な翻訳とも言います。 同僚プログラマとの戦い 2つの数を足し合わせる関数を実装してくれないか? ~~~~~~~~~~~ できたぜ! ~~~~~~~~~~~ よっしゃ。 テストもあるよな? ~~~~~~~~~~~ テストもほしいのかよ...待ってろ。 できたぜ! 「1と3を与えたら4が返る」 終わりでいいか? ~~~~~~~~~~~ ちょっと待て、1つしか検証してないじゃないか、 他の入力値だと失敗するかもしれない。 ~~~~~~~~~~~ わかった、別なのを書くわ。 できたぜ! 「2と2を与えたら4が返る」 いいだろ? ~~~~~~~~~~~ いいんだが、まだ特定のケースしかテストしてないだろう? お前が考えてない他の入力値で失敗するかもしれないじゃないか ~~~