System-specific testing guides
These guides cover common types of systems you might want to test in Antithesis. They describe properties that you’ll probably want to check, along with example workloads that test them.
Each guide is a starting point rather than an exhaustive list. You should also test properties that are specific to your own system. For properties that apply to almost any software, see our general software reliability properties reference.
Property catalogs
Test workloads
- Ring test: a simple, effective workload for testing ACID compliance in transactional databases.
- Chain of blocks: a workload for testing state machine replication, the pattern behind many databases, message queues, and blockchains.