Skip to content

Instantly share code, notes, and snippets.

@HirotoShioi

HirotoShioi/overview.md

Last active May 15, 2019 02:43
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save HirotoShioi/1ee8ff7b0eb21ca72ffe0d1a782da889 to your computer and use it in GitHub Desktop.
Save HirotoShioi/1ee8ff7b0eb21ca72ffe0d1a782da889 to your computer and use it in GitHub Desktop.
Download ZIP
Overview
Raw
overview.md

Quickcheckの極意

QuickCheckで可能となる様々なテスト手法

  • Model based test
  • Metamorphic test
  • Postconditions
  • Round-trip test

テストをデバッグしよう

Generatorsとshrinkers

  • Generatorの良し悪し
  • Generatorはboundry case, edge caseを適切に生成しているのか。(例: 10万回に1回しかedge caseを生成していないか)
  • 適切なshrinkingを行おう

Quickcheck-state-machineでステイトフルなコードをテストしよう

一言でいうと非常に難解かつ特殊なライブラリでした。。 http://hackage.haskell.org/package/quickcheck-state-machine

その他

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment