Antithesis Documentation

Antithesis is an autonomous software testing platform that finds your bugs and makes them easy to fix.

If you want to learn:

• How Antithesis can help you develop better, see the Antithesis Introduction.

• How Antithesis works to test your software, read How Antithesis Works.

• How to start using Antithesis immediately, jump to Getting Started.

Contents

• Why Antithesis
• Getting Started
  • Basic Setup
  • Workload
  • How to Run a Test
  • Next Steps
• Using Antithesis
  • The Antithesis Environment
  • Test Properties
  • SDKs
  • Instrumentation
  • CI Integration
• Understanding Results
  • Triage Report
  • Bug Report
• Best Practices
  • Sizing Your Antithesis Deployment
  • Use Sometimes Assertions
  • Is Antithesis Working?
  • Optimizing for Antithesis
  • Finding More Bugs
• Application Areas
  • Fault Injection
  • Reliability Properties
• How Antithesis Works