Introduction to Writing Properties
Explore the fundamentals of writing properties in property-based testing with PropEr. Understand the differences between stateless and stateful properties, learn the structure of property files, and see how to use default generators to create effective tests. This lesson helps you interpret test results and fix failing cases to improve your testing skills.
We'll cover the following...
Introduction
Property-based testing requires us to approach testing differently from what we’re used to. As we’ve seen earlier, the core of properties involve coming up with rules about a program that should always remain true. However, we’ll need to find a way to turn these rules into executable code so that a specific framework (PropEr) can exercise them. We will also need to tell the framework about what kind of inputs it should generate to truly challenge the ...