Property-Based Testing with PropEr in Erlang

Templating

Explore how to apply property-based testing to email templating in Erlang. Understand how to write properties for generating birthday email texts, validate dynamic fields, and ensure robust unit testing without sending actual emails.

We'll cover the following...

The tests
The implementation

1.Foundations of Property-Based Testing

2.Writing Properties

3.Thinking in Properties

4.Custom Generators

5.Responsible Testing

6.Properties-Driven Development

7.Shrinking

8.Targeted Properties

9.Stateful Properties

10.Case Study: Bookstore

11.State Machine Properties

12.Conclusion

Templating