Check out the repo:
$ git clone [email protected]:arosien/better-testing-with-scalacheck.git
Make sure everything compiles and runs:
$ cd better-testing-with-scalacheck
$ sbt test
...
[error] Error: Total 13, Failed 0, Errors 8, Passed 5
[error] Error during tests:
[error] diamond.DiamondKataTest
[error] simple.StringProperties
[error] stateful.CounterProperties
[error] (test:test) sbt.TestsFailedException: Tests unsuccessful
It's ok that the tests fail, we haven't written them all yet!
Libraries:
Main sources:
Examples:
Even more property-based testing:
- Exploring Test-Driven Development with QuickCheck
- Property Based TDD at SPA 2013
- How I learned to stop unit testing and love property-based testing
- I Dream of Gen'ning: ScalaCheck is Black Magic
- Protocol Buffers and property-based testing
Nerdy stuff: