What is Antithesis?
Antithesis is a deterministic simulation testing platform that helps find bugs in distributed systems by exploring multiple possible execution paths. It combines in a single integrated service:
- a deterministic hypervisor able to run any kind of software compiled for a linux x86-64 machine,
- a framework to define and test properties over fuzzed execution of the system-under-test,
- a fault injection system aka. chaos monkeys,
- sophisticated reporting and debugging tools allowing time travel to help troubleshoot bugs.
Why use Moog?
Moog aims at streamlining the process of orchestrating Antithesis tests for the Cardano community, providing an easy-to-use interface to the Antithesis service. Moog leverages the blockchain itself to track recording of users and projects, tests requests, and execution results thus providing auditability and traceability of the system usage. It demonstrates how Cardano can be used as an infrastructure to support its own development and the work of the Cardano community.
How it Works
- Users register and submit test run requests through Moog, providing a
docker-composedescriptor - Requests are stored as transactions and validated by an Agent
- The agent triggers a test run on Antithesis platform
- Test run results are made available through a secure link to Users