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.

Intermediate

88 Lessons

17h 30min

Certificate of Completion

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.

AI-POWERED

Explanations

AI-POWERED

Explanations

This course includes

54 Playgrounds

5 Quizzes

This course includes

54 Playgrounds

5 Quizzes

Course Overview

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 ...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

What You'll Learn

Understand the concepts of PropEr.

Course Content

Foundations of Property-Based Testing

Get familiar with property-based testing principles, frameworks, and their implementation in Elixir.

Why Property-based Testing?Properties Property-Based Testing in a Project Running a Property Wrapping Up

Writing Properties

Look at writing properties, file and property structures, execution models, and default generators.

Introduction to Writing Properties File Structure Property Structure Execution Model Default Generators Putting It All Together Wrapping Up Quiz Yourself on Writing Properties

Thinking in Properties

Explore transitioning to property-based testing with modeling, generalizing tests, invariants, and symmetric properties.

Introduction to Thinking in Properties Modeling Generalizing Test Examples Invariants Symmetric Properties Putting It All Together Wrapping Up Quiz Yourself on Thinking in Properties

Custom Generators

Break down complex ideas of custom generators for comprehensive property-based testing.

Introduction to Custom Generators Gathering Statistics: Collecting Gathering Statistics: Aggregating Basic Custom Generators Resizing Generators Transforming Generators Imposing Restrictions Changing Probabilities Fancy Custom Generators Recursive Generators Symbolic Calls Wrapping Up Quiz Yourself on Custom Generators

Responsible Testing

Take a closer look at responsible testing with Elixir, emphasizing adaptable unit testing and CSV parsing.

Introduction to Responsible Testing The Program Structure CSV Parsing: The Property CSV Parsing: The CSV Parser Filtering Records Employee Module Templating Putting It All Together Wrapping Up

Properties-Driven Development

9 Lessons

Focus on defining and validating properties, handling special pricing, and using negative testing.

Shrinking

5 Lessons

Master the steps to optimize counterexample handling in PropEr using the shrink and let_shrink macros.

Stateful Properties

8 Lessons

Learn how to use stateful property-based testing for verifying complex system behaviors.

Case Study: Bookstore

11 Lessons

Get started with testing a PostgreSQL-based bookstore in Elixir, focusing on stateful properties.

10.

State Machine Properties

11 Lessons

Examine finite state machines for robust testing, focusing on circuit breakers and model adjustments.

11.

Conclusion

1 Lesson

Apply your skills to implement property-based testing for improved software quality and reliability.

Course Author

Trusted by 1.4 million developers working at companies

Anthony Walker

@_webarchitect_

Emma Bostian 🐞

@EmmaBostian

Evan Dunbar

ML Engineer

Carlos Matias La Borde

Software Developer

Souvik Kundu

Front-end Developer

Vinay Krishnaiah

Software Developer

Eric Downs

Musician/Entrepeneur

Kenan Eyvazov

DevOps Engineer

Anthony Walker

@_webarchitect_

Emma Bostian 🐞

@EmmaBostian

Hands-on Learning Powered by AI

See how Educative uses AI to make your learning more immersive than ever before.

Instant Code Feedback

Evaluate and debug your code with the click of a button. Get real-time feedback on test cases, including time and space complexity of your solutions.

AI-Powered Mock Interviews

Put your skills to the test in a simulated interview setting. Receive personalized feedback based on your performance. Available in Premium & Premium Plus plans.

Adaptive Learning

At various checkpoints throughout Educative courses, you will be prompted to take a quick assessment. Receive a condensed curriculum tailored to your strengths and skill gaps.

Explain with AI

Select any text within any Educative course, and get an instant explanation — without ever leaving your browser.

AI Code Mentor

AI Code Mentor helps you quickly identify errors in your code, learn from your mistakes, and nudge you in the right direction — just like a 1:1 tutor!