Introducing the Application

The application

The application will be a bookstore implementation that uses a PostgreSQL backend, with SQL queries and network connections as part of the code to be tested. Even with all these moving pieces, we’ll still be able to test it all using Erlang.

Because real-world systems contain more moving parts, they’ll have a far larger portfolio of errors and strange behaviors to detect and debug. We’ll keep on using stateful properties, but we may have ...