Property-Based Testing in Erlang with PropEr

Traditional unit tests often miss critical edge cases because they only evaluate the specific scenarios you write. Property-based testing changes this by automatically generating a wide range of test inputs based on the properties your code must satisfy. This course introduces you to the concepts and execution of property-based testing in Erlang using PropEr. You will transition from writing manual assertions to defining high-level properties that must always hold true, allowing the testing framework to do the heavy lifting of finding bugs. You will learn to write custom generators, shrink failing test cases to their simplest forms, and integrate modern testing practices into your development workflow. What you'll learn: - Understand the core differences between traditional unit testing and property-based testing - Define mathematical and logical properties that describe correct system behavior - Construct custom data generators using PropEr to test complex structures and types - Apply test-case shrinking to quickly isolate the root cause of failures - Integrate stateful property-based testing techniques for complex systems - Structure your Erlang test suites to run efficiently within modern development pipelines This course starts with foundational concepts, defining what a property is and how the PropEr framework operates, before guiding you through written, practical examples of generator creation and test execution. It is designed for software developers and QA engineers who are familiar with basic Erlang syntax and want to elevate their testing standards. No prior experience with property-based testing is required. Start reading to build highly resilient systems today.