Properties First
Before jumping to our tools and spitting out lines of code, the first thing to do is to get our fundamentals right and stop thinking property-based testing is about tests. It’s about properties. Let’s take a look at what the difference is, and what thinking in properties looks like.
Conceptually, properties are not that complex. Traditional tests are often example-based: you make a list of a bunch of inputs to a given program and then list the expected output. You may put in a couple of comments about what the code should do, but that’s about it. Your test will be good if you can have examples that can exercise all the possible program states you have.
By comparison, property-based tests have nothing to do with listing examples ...
Get Property-Based Testing with PropEr, Erlang, and Elixir now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
