Strategies for Designing Properties

Introduction

Up until now, we’ve only looked at property-based testing in simple scenarios, where it’s easy to come up with good properties that give us confidence in our code. However, one of the biggest challenges of property-based testing in less straightforward situations is coming up with good properties. Right at the beginning of this chapter, we saw how the Elixir team used property-based testing in a real-world scenario and how they came up with a property that helped test code and drive its behavior.