Wrapping Up
Explore how stateful property testing works by using symbolic models and real system tests to validate behaviors. Understand the testing phases with a cache server example and see how to detect concurrency issues using PropEr. This lesson prepares you for advanced stateful property techniques in complex systems.
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