Want this course?
Testing distributed systems
Distributed systems are hard. Testing distributed systems is hard. But at least Property-based Testing gives us a way to do it.
In this lesson, we test a distributed system. We learn:
- how to use PBT to guide our model development
- how to gain introspection into failing tests
- how to generate reliable failures—test cases that fail every time so you can use them to debug
When to test: before implementation
In this lesson, we implement a function using TDD. Property-based testing is great for doing TDD since the tests are constantly giving you small examples that fail, one at a time. Make it pass, and get another. Make that pass, get another. Eventually, you'll have the whole thing tested and implemented.