Better Testing with Scalacheck

Check out the repo:

$ git clone git@github.com: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!

References

Libraries:

• ScalaCheck
  • ScalaCheck API
  • Using ScalaCheck in ScalaTest
• scalaprops
• Nyaya
  • japgolly/test-state
• Hedgehog

Main sources:

• An introduction to property-based testing
• Choosing properties for property-based testing

Examples:

• Diamond Kata

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:

• Thinking before programming
• Mysteries of Dropbox: Property-Based Testing of a Distributed Synchronization Service
• The Practice of Theories: Adding “For-all” Statements to “There-Exists” Tests
• Property-based Testing for Better Code