Introduction to State Machine Properties
Explore the concept of finite state machines and their use in property-based testing with PropEr. Understand how state machine properties help model and test stateful programs by treating states and transitions as core elements. This lesson equips you to test complex systems where state changes impact program behavior, improving your ability to verify realistic, state-dependent conditions efficiently.
We'll cover the following...
We'll cover the following...
Finite state machines
Finite state machines (FSM) are, informally speaking, an abstraction describing specific stateful programs. The program can be in only one of the multiple known states at a time (such as a traffic light being red, yellow, or green). Transitions from one state to another are based on specific inputs or events. Within each ...