Property-Based Testing with PropEr in Elixir

Home>

Courses>

Learn the concepts of Property-Based Testing, including writing properties and their required generators.

Intermediate

88 Lessons

17h 30min

Certificate of Completion

Learn the concepts of Property-Based Testing, including writing properties and their required generators.

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

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

Writing Properties

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

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

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

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

Shrinking

5 Lessons

Stateful Properties

8 Lessons

Case Study: Bookstore

11 Lessons

10.

State Machine Properties

11 Lessons

11.

Conclusion

1 Lesson

Course Author

Trusted by 1.4 million developers working at companies

Anthony Walker

@_webarchitect_

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

Souvik Kundu

Front-end Developer

Eric Downs

Musician/Entrepeneur

Anthony Walker

@_webarchitect_

Evan Dunbar

ML Engineer

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!

FOR TEAMS

Interested in this course for your business or team?

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