> ## System-specific testing guides

> Guides to the reliability properties and test workloads for common types of systems, including key-value datastores, message queues, blockchains, transactional databases, and state machine replication.

> Fetch the complete documentation index at: https://antithesis.com/docs/llms.txt
> Use this file to discover all available pages before exploring further.

---

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](/docs/resources/reliability_properties/) reference.

## Property catalogs

- [Key-value datastores](/docs/resources/kv_property_catalog/)
- [Message queues](/docs/resources/message_queues_property_catalog/)
- [Blockchains](/docs/resources/blockchain_property_catalog/)

## Test workloads

- [Ring test](/docs/resources/ring_test/): a simple, effective workload for testing ACID compliance in transactional databases.
- [Chain of blocks](/docs/resources/chain-of-blocks/): a workload for testing state machine replication, the pattern behind many databases, message queues, and blockchains.