HomeCoursesProperty-Based Testing with PropEr in Erlang

4.5

Intermediate

17h 30min

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.

Join 2.7M developers at

Overview

Content

Reviews

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 write your own custom data generators, and more. You'll also see how you can use Property-Based Testing in a realistic project. By the time you finish this course, you will be comfortable testing real-world applications using properties.

Property-based testing relies on specifying some property of code, rather than unit tests which specify the expected output in r...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.

Content

94 Lessons5 Quizzes

Foundations of Property-Based Testing

5 Lessons

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

8 Lessons

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

Introduction to Writing Properties

Putting It All Together

Wrapping Up

Quiz Yourself on Writing Properties

Thinking in Properties

8 Lessons

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

13 Lessons

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

9 Lessons

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.

Introduction to Properties-driven Development

Writing the First Property

Testing Specials

Generating Specials

Implementing Specials

Negative Testing: Broad Properties

Negative Testing: Calibrating Negative Properties

Negative Testing: Relaxing Constraints

Wrapping Up

Shrinking

5 Lessons

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

Introduction to Shrinking

Re-centering with ?SHRINK

Dividing with ?LETSHRINK

Wrapping Up

Quiz Yourself on Shrinking

Targeted Properties

6 Lessons

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

Introduction to Targeted Properties

Targeted Properties

Writing Neighbour Functions

Example Case: Quicksort

Limitations of Targeted Properties

Wrapping Up

Stateful Properties

8 Lessons

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

Introduction to Stateful Properties

How Stateful Properties Run

Writing Stateful Properties

Testing a Basic Concurrent Cache: Implementation

Testing a Basic Concurrent Cache: Writing Tests

Testing Parallel Executions

Wrapping Up

Quiz Yourself on Stateful Properties

10.

Case Study: Bookstore

11 Lessons

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

Introducing the Application

The Application: Getting Started

The Application: The Database Module

The Application: Running the Code

Writing Generators

Broad Stateful Testing

Precise Stateful Modelling

Refining the Tests

Debugging Stateful Properties

Parallel Tests

Wrapping Up

11.

State Machine Properties

11 Lessons

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

Introduction to State Machine Properties

Laying Out State Machine Properties

How State Machine Properties Run

Writing FSM Properties

Testing a Circuit Breaker

Modeling the Circuit Breaker: The Shim Module

Modeling the Circuit Breaker: The Property

Modeling the Circuit Breaker: The Test Module

Adjusting the Model: Fixing the Issue

Adjusting the Model: Better Statistics

Wrapping Up

12.

Conclusion

1 Lessons

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

Conclusion

Certificate of Completion

Showcase your accomplishment by sharing your certificate of completion.

Course Author:

The Pragmatic Programmers

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

"These are high-quality courses. Trust me. I own around 10 and the price is worth it for the content quality. EducativeInc 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.

Personalized Interview Prep

Skip the LeetCode grind with a custom roadmap that adapts to your goals. Hands-on practice for Coding Interviews, System Design, and more.

Mock Interviews

Test your skills in a simulated interview setting. Receive personalized feedback based on your performance. Available for Coding Interviews, System Design, and more.

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