サクサク読めて、アプリ限定の機能も多数!
Smallcheckという手法についての論文の話らしい。網羅的なテストを、順序付けて行うことで、最小の反例が得られるというもの。もちろん、時間はかかる。失敗するのが分かっているときに、反例探しに使えるのかも。
kgbu のブックマーク 2008/10/16 11:29
ヒビルテ(2008-10-14)[あとで読む][test][検証][証明][論文]Smallcheckという手法についての論文の話らしい。網羅的なテストを、順序付けて行うことで、最小の反例が得られるというもの。もちろん、時間はかかる。失敗するのが分かっているときに、反例探しに使えるのかも。2008/10/16 11:29
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.tom.sfc.keio.ac.jp/~sakai2008/10/16
λ. SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. Colin Runciman, Matthew Naylor and Fr...
4 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
Smallcheckという手法についての論文の話らしい。網羅的なテストを、順序付けて行うことで、最小の反例が得られるというもの。もちろん、時間はかかる。失敗するのが分かっているときに、反例探しに使えるのかも。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ヒビルテ(2008-10-14)
λ. SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. Colin Runciman, Matthew Naylor and Fr...
4 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /