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.

Property Based Testing with PropEr in Erlang_468 x 60 copy.png

propert-based-testing.tar.gz

Erlang

Elixer

Erlang-Chap2

Elixir-Chap2

Erlang-Shell

erlang-user

elixir-user

elixir-shell

elrang-eunit

erlang-chap5-employee

elixir-cover_test

erlang-cover_test

erlang-chap10-databaseinit

erlang-chap10-user

elixir-chap10-user

erlang-chap10-shell

elixir-chap10-shell

erlang-chap10-dbsetup

elixir-chap10-dbSetup

erlang-chap5-templating

erlang-chap5-last

elixir-chap5-last

erlang-chap10-default

elixir-chap10-default

elixir-chap10-default-copy

Erlang-Chap2-copy

Elixir-Chap2-copy

Erlang-Shell-copy

elixir-shell-copy

erlang-default-force

elixir-default-force

erlang-test-shell

elxir-test-shell

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 with PropEr in Erlang

# What is responsible testing?

Understanding when and where properties work best is important for responsible testing, and that is what we are going to learn in this chapter.

Throughout the chapter, we'll take on a practical project based on the [birthday greeting "kata" by Matteo Vaccari](http://matteo.vaccari.name/blog/archives/154). This exercise asks us to organize unit tests for a little application in a manner such that as few tests as possible will need to be modified or trashed when implementation details or requirements change.

The exercise will contain parts having to do with data storage, text parsing, data manipulation, and templating. We will only focus on unit tests, and we’ll leave integrations and systems with side effects for later chapters. In this chapter, we'll go through how to choose between traditional example-based testing and property-based testing. 

# The specifications of the example

We’re going to write a program that will first load a set of employee records from a flat file and then send a greeting email to each employee whose birthday is today. In our example, the flat file we receive contains employee records and looks a bit like a comma-separated-values (CSV) file. We’re given this sample:

```CSV
last_name, first_name, date_of_birth, email
Doe, John, 1982/10/08, john.doe@foobar.com
Ann, Mary, 1975/09/11, mary.ann@foobar.com
```

The email sent on an employee’s birthday should contain text like:

```text
Subject: Happy birthday!
Happy birthday, dear John!
```

On its own, this is straightforward. The challenge comes from the additional constraints that we're given:

- The tests written should be unit tests, meaning none of the tests should talk to a database, touch the filesystem, interact with the network, or toy with the environment. Tests that do any of these are qualified as integration tests and are out of our scope.

- We won’t use the CSV format forever. Eventually, a database or web service should be used to fetch the employee records, similarly to send the email. The tests should be written to require as few modifications as possible whenever these implementation details change.

Get introduced to the concept of responsible testing and what we will go through in this chapter.

Introduction to Responsible Testing

Foundations of Property-Based Testing

Writing Properties

Thinking in Properties

Custom Generators

Responsible Testing

Properties-Driven Development

Shrinking

Targeted Properties

Stateful Properties

Case Study: Bookstore

State Machine Properties

Conclusion

Introduction to Responsible Testing

What is responsible testing?