Stateful Property Testing with PropEr in Erlang and Elixir

Testing complex, stateful applications requires more than simple unit tests that only check a single path. By learning stateful property-based testing, you can automatically generate hundreds of scenarios to find hidden edge cases and race conditions in your code. This text-based course guides you through modeling stateful systems, writing custom generators, and integrating database validation. You will transition from writing manual assertions to designing robust, self-testing models that verify system behavior against a persistent SQL database. Through clear written explanations and structured code patterns, you will learn to think in properties rather than individual test cases. What you will learn: - Understand the core principles of stateful property-based testing and how it differs from stateless testing - Model complex system states and transitions using symbolic commands and state machines - Write custom generators in PropEr to generate valid and invalid sequences of operations - Debug failing test cases using shrinking to find the exact sequence that causes an error - Integrate database state validation to ensure your application matches your model state - Apply modern testing patterns to handle concurrent state transitions safely The course begins with foundational concepts of property-based testing and state machine modeling before guiding you through the step-by-step construction of a bookstore system model, complete with state transitions, commands, and post-conditions. It is designed for software developers and QA engineers who already understand basic programming concepts in Erlang or Elixir and want to adopt advanced testing methodologies. No prior experience with property-based testing is required. Start writing bulletproof tests today.