Property-Based Testing with PropEr in Erlang

Gain insights into property-based testing with PropEr in Erlang. Delve into foundational principles, common frameworks, custom data generators, and applying testing in realistic projects for robust code validation.

Intermediate

94 Lessons

17h 30min

Certificate of Completion

AI-POWERED

Explanations

AI-POWERED

Explanations

This course includes

60 Playgrounds

5 Quizzes

This course includes

60 Playgrounds

5 Quizzes

Course Overview

Property-based testing relies on specifying some property of code, rather than unit tests which specify the expected output in response to some inputs. In this course, you’ll cover the concepts you need to get started, up to the point where you feel confident enough to use the most advanced features of PropEr with Erlang. You’ll start smoothly with the basic and foundational principles of property-based testing. From there, you will cover some of the common frameworks, how to think in properties, how to wr...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 for enhanced software quality and efficient debugging.

Why Property-based Testing?

Properties

Property-Based Testing in a Project Running a Property Wrapping Up

Writing Properties

Get started with defining, structuring, and executing properties using PropEr for effective testing.

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

Break apart the key strategies for property-based testing, including modeling, generalizing, 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

Grasp the fundamentals of creating custom generators, resizing, transforming, and imposing restrictions tailored for precise 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 designing resilient units and integrating robust components for effective 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

Follow the process of properties-driven development, testing, and refining program behaviors.

Shrinking

5 Lessons

Piece together the parts of shrinking in property testing for simplified error identification.

Targeted Properties

6 Lessons

Learn how to use targeted properties for efficient and dynamic property-based testing in Erlang.

Stateful Properties

8 Lessons

Unpack the core of stateful property testing, focusing on system models, concurrency, and validation.

10.

Case Study: Bookstore

11 Lessons

Master the steps to implementing and refining stateful property-based testing for a complex system.

11.

State Machine Properties

11 Lessons

Enhance your skills in modeling and testing systems using finite state machines.

12.

Conclusion

1 Lesson

Take a look at utilizing property-based testing to enhance both unit and integration testing.

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!