HomeCoursesProperty-Based Testing with PropEr in Elixir

Intermediate

17h 30min

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.
Join 2.7 million developers at
Overview
Content
Reviews
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

Content

1.

Foundations of Property-Based Testing

5 Lessons

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

2.

Writing Properties

8 Lessons

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

3.

Thinking in Properties

8 Lessons

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

5.

Responsible Testing

9 Lessons

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

7.

Shrinking

5 Lessons

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

11.

Conclusion

1 Lessons

Apply your skills to implement property-based testing for improved software quality and reliability.
Certificate of Completion
Showcase your accomplishment by sharing your certificate of completion.
Developed by MAANG Engineers
Every Educative lesson is designed by our in-house team of ex-MAANG software engineers and PhD computer science educators, and developed in consultation with developers and data scientists working at Meta, Google, and more. Our mission is to get you hands-on with the necessary skills to stay ahead in a constantly changing industry. No video, no fluff. Just interactive, project-based learning with personalized feedback that adapts to your goals and experience.

Trusted by 2.7 million developers working at companies

Hands-on Learning Powered by AI

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

AI Prompt

Build prompt engineering skills. Practice implementing AI-informed solutions.

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.

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!

Free Resources

FOR TEAMS

Interested in this course for your business or team?

Unlock this course (and 1,000+ more) for your entire org with DevPath