Get the latest tech news
Protocol-Aware Deterministic Simulation Testing
Beetle’s deterministic simulator is protocol-aware, which enables us to test safety and liveness invariants not just at the database level, but also at the level of each individual replica. if (replica.status == .recovering_head) assert(fault); In this post, we cover the mechanics, method, and merits of going beyond traditional, black-box methods of testing distributed systems – generative testing (for example, Jepsen), and deterministic hypervisors (for example, Antithesis) – to deeply test safety and liveness invariants using protocol-aware DST.
None
Or read this on Hacker News