How State Machine Properties Run
Explore the execution process of state machine properties in PropEr, focusing on the abstract phase where test scenarios are generated and the real phase where commands are applied to the system, ensuring proper validation through preconditions and postconditions.
We'll cover the following...
We'll cover the following...
Abstract phase
PropEr divides the execution of a finite state machine test into two phases, one abstract and one real. The abstract phase is used to create a test scenario, using only the model and command generation callbacks, which are called to build out the sequence of calls that will later be applied to the system.
A graphical representation might look like this:
The two ...