QuickCheck, RushCheck

Haskell のランダムテストツール QuickCheck をググってたら、Ruby 版の RushCheck というライブラリにあたりました。
これから調べて見ようと思い、ひとまず参考を列挙

QuickCheck

• QuickCheck: Koen Claessen and John Hughes による本家のページ
  • QuickCheck: An Automatic Testing Tool for Haskell
  • http://www.cs.chalmers.se/~rjmh/QuickCheck/
• Audrey Tang さんによる、去年の YAPC の資料
  • Learning Haskell
  • http://perlcabal.org/~audreyt/tokyo/haskell.xul
  • 音声もどこかに落ちてたはず
• Koen Claessen and John Hughes による紹介の資料
  • http://types.bu.edu/reading-group/documents/QuickCheckSlides.pdf

RushCheck

• RushCheck: 本家ページ
  • Blog - RushCheck
  • http://rushcheck.rubyforge.org/
• Daisuke IKEGAMI さん(作者本人)による紹介
  • http://rushcheck.rubyforge.org/aim5slides.pdf
• ブログエントリ
  • Inemuri nezumi diary(2006-09-06)
    • プログラマがテストも書くならば lightweight なランダムテストを試すといいと思う
    • http://madscientist.jp/~ikegami/diary/20060906.html
  • Inemuri nezumi diary(2006-12-16)
    • 発表は、(1)RSpec紹介(2)RushCheck紹介(3)FormalMethod紹介の3つからなっておりま
    • http://madscientist.jp/~ikegami/diary/20061216.html

両方とも調べてみたい!