Code and slides for Property Based Testing talk
Contents:
- "A_xxx" is the dialog with the Enterprise Developer From Hell
- "B_xxx" where we build a custom property checker to test the properties of addition
- "C_xxx" uses FsCheck to test the same properties of addition
- "D_xxx" has examples of using FsCheck generators
- "E_xxx" has examples of choosing properties for FizzBuzz and more
The slides are PropBasedTesting.pdf
Useful links
- FsCheck home page and documentation
- Expecto/FsCheck integration
- My (now ancient) posts on FSFFAP. The associated video was lost with the demise of SkillsMatter :(.
- Nicolas Rinaudo: Much Ado About Testing (video) -- has lots of examples, including face recognition.
- Writing Better Tests Than Humans Can Part 2: Model-based Tests with FsCheck in C# -- "rather than come up with a contrived example, I’m going to use a real example of where we used FsCheck to prove the safety of Helios 2.1 - the socket library that powers the remoting and clustering systems inside Akka.NET 1.1. "
- Property-Based Testing in a Screencast Editor -- great example of testing a real world problem. Also, updated and available as a book.
- Migrating a C# test suite to property based tests in F# -- "I’ve been wanting to try property-based testing in a real-life situation for some time, and decided to try it out with the test suite for our open source library ActiveLogin.Identity."