Property-Based Testing with PropEr, Erlang, and Elixir

Employee Module

The employee module is where we’ll bridge the parsing of records with filtering and searching through employees. Proper isolation of concerns should make it possible for both types of users, those who create and those who consume employee data, to do everything they need without knowing about the requirements of the other.

In this section we’ll tackle the requirements, then work on the CSV adapter, and finally tie up the internal usage of employee records. This will let us go through a critial-but-annoying part of the system—the plumbing, full of pesky business rules—and see how we can use properties to validate them.

Setting Requirements

Our challenge here is to come up with an internal data representation that can easily be ...