Chapter 10Case Study: Bookstore
One of the things that make stateful properties really impressive is that once you understand them well enough to test a basic Erlang or Elixir component, you also understand them well enough to test almost anything, including systems not related to Erlang nor Elixir at all. The modeling and testing approaches mostly remain the same no matter how the actual system is implemented; only the calls reaching out to it end up changing.
In this chapter, we’ll see how to do this with a more complex system—an Erlang bookstore implementation that uses a PostgreSQL back end, 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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access