Introduction to Writing Properties
Explore how to write and structure properties with the PropEr framework in Erlang. Understand the core types of properties, the role of generators, and how to integrate these into executable tests. This lesson helps you interpret test results and refine properties for better software validation.
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 is coming up with rules about a program that should always remain true. That’s the hard part. But just having that will not be enough. We’ll need to find a way to turn these rules into executable code so that a specific framework (PropEr in our case) can exercise them. We will also need to tell the framework about what kind of inputs it should ...