Intermediate
17h 30min
Updated 3 weeks ago
Property-Based Testing with PropEr in Elixir
Gain insights into property-based testing with PropEr in Elixir. Learn foundational principles, custom data generators, and advanced concepts for effective real-world application testing.
Property-based testing relies on specifying some property of code, unlike unit tests, which specify the expected output in response to some inputs. In this course, we'll cover the concepts we need to feel confident about using even the most advanced features of PropEr with Elixir.
We'll start with the basic and foundational principles of property-based testing, see what the framework offers us to get started, make our way through thinking in properties, write our own custom data generators, and then learn more advanced concepts. We'll also see how you can use property-based testing in a realistic project.
By the time we finish this course, we should feel comfortable testing real-world applications using properties.
Property-based testing relies on specifying some property of code, unlike unit tests, which specify the expected output in respo...Show More
WHAT YOU'LL LEARN
Understand the concepts of PropEr.
Understand the role of generators in property in property-based testing.
Have a clear sense where property-based testing has an advantage over Eunit tests and vice versa.
Be able to use stateful properties with ease.
Learn how to write State Machine Properties.
Understand property-based testing
Understand the concepts of PropEr.
Show more
Learning Roadmap
1.
Foundations of Property-Based Testing
Foundations of Property-Based Testing
Get familiar with property-based testing principles, frameworks, and their implementation in Elixir.
2.
Writing Properties
Writing Properties
Look at writing properties, file and property structures, execution models, and default generators.
3.
Thinking in Properties
Thinking in Properties
8 Lessons
8 Lessons
Explore transitioning to property-based testing with modeling, generalizing tests, invariants, and symmetric properties.
4.
Custom Generators
Custom Generators
13 Lessons
13 Lessons
Break down complex ideas of custom generators for comprehensive property-based testing.
5.
Responsible Testing
Responsible Testing
9 Lessons
9 Lessons
Take a closer look at responsible testing with Elixir, emphasizing adaptable unit testing and CSV parsing.
6.
Properties-Driven Development
Properties-Driven Development
9 Lessons
9 Lessons
Focus on defining and validating properties, handling special pricing, and using negative testing.
7.
Shrinking
Shrinking
5 Lessons
5 Lessons
Master the steps to optimize counterexample handling in PropEr using the shrink and let_shrink macros.
8.
Stateful Properties
Stateful Properties
8 Lessons
8 Lessons
Learn how to use stateful property-based testing for verifying complex system behaviors.
9.
Case Study: Bookstore
Case Study: Bookstore
11 Lessons
11 Lessons
Get started with testing a PostgreSQL-based bookstore in Elixir, focusing on stateful properties.
10.
State Machine Properties
State Machine Properties
11 Lessons
11 Lessons
Examine finite state machines for robust testing, focusing on circuit breakers and model adjustments.
Certificate of Completion
Showcase your accomplishment by sharing your certificate of completion.
Complete more lessons to unlock your certificate
Course Author:
Developed by MAANG Engineers
Meet the Instructor
The Pragmatic Programmers
Software Engineer at Educative
Every Educative resource is designed by our team of ex-MAANG software engineers and PhD computer science educators — subject matter experts who've shipped production code at scale and taught the theory behind it. No videos, no fluff.
Learn more about TheTrusted by 2.9 million developers working at companies
"These are high-quality courses. Trust me the price is worth it for the content quality. Educative came at the right time in my career. I'm understanding topics better than with any book or online video tutorial I've done. Truly made for developers. Thanks"
Anthony Walker
@_webarchitect_
"Just finished my first full #ML course: Machine learning for Software Engineers from Educative, Inc. ... Highly recommend!"
Evan Dunbar
ML Engineer
"You guys are the gold standard of crash-courses... Narrow enough that it doesn't need years of study or a full blown book to get the gist, but broad enough that an afternoon of Googling doesn't cut it."
Software Developer
Carlos Matias La Borde
"I spend my days and nights on Educative. It is indispensable. It is such a unique and reader-friendly site"
Souvik Kundu
Front-end Developer
"Your courses are simply awesome, the depth they go into and the breadth of coverage is so good that I don't have to refer to 10 different websites looking for interview topics and content."
Vinay Krishnaiah
Software Developer
Hands-on Learning Powered by AI
See how Educative uses AI to make your learning more immersive than ever before.
AI Prompt
Code Feedback
Explain with AI
AI Code Mentor
Free Resources
