Wrapping Up
Explore the basics of stateful property testing, including symbolic generation of command sequences and real-world validation against system models. Understand how to detect concurrency bugs using PropEr with practical examples. This lesson prepares you to tackle more complex stateful systems in future chapters.
We'll cover the following...
We'll cover the following...
Summary
This chapter has shown us the basics of stateful property testing, based on a single simple model. We’ve been through the two phases of the testing:
- Symbolic testing, where the model is used to generate a sequence of