Documentation

Welcome to Antithesis

Antithesis is an autonomous testing platform that finds the bugs in your software, with perfect reproducibility to help you fix them. It supplements or replaces your existing testing tools and lives alongside your normal CI workflow.

Our platform integrates property-based testing, fuzzing, and deterministic simulation into a single testing tool.

Combining these approaches offers three key benefits:

  1. You can test better by spending more compute time, not more developer time.
  2. It finds bugs that you don’t know you have to look for.
  3. It finds really hard bugs.

How to use Antithesis

  1. The first thing you’ll do is upload your software to a private container registry.
  2. You’ll also upload a test template to exercise it.
  3. From here, your tests will run in our deterministic testing environment. Kick off a test with a webhook, or automatically with our GitHub integration.
  4. Explore your test results from our web UI, or receive them by email when your test run completes.
  5. For tricky issues that require additional investigation, you can access a deterministic, time-traveling terminal session with our multiverse debugger.

Getting help

If you run into trouble, or have a particularly complex system to bring under test, or simply want to make sure your testing is as thorough as possible, our customer success engineers would be happy to help – reach out to us on our Discord, or email support@antithesis.com.

We’re confident that however you integrate Antithesis into your DevOps cycle, it will empower your team to move faster and build fearlessly, knowing that you’ll find and fix issues before they actually become problems.

What next?

To learn more about how Antithesis works, start here, or just follow the table of contents.

If you’re ready to get started, contact us to request a container registry and credentials. Once you have those, you can go through our tutorials or dive right in with our Docker Setup Guide or Kubernetes Setup Guide

  • Introduction
  • How Antithesis works
  • Get started
  • Test an example system
  • With Docker Compose
  • Build and run an etcd cluster
  • Meet the Test Composer
  • With Kubernetes
  • Build and run an etcd cluster
  • Meet the Test Composer
  • Setup guide
  • For Docker Compose users
  • For Kubernetes users
  • Product
  • Test Composer
  • Test Composer basics
  • Test Composer reference
  • How to check test templates locally
  • How to port tests to Antithesis
  • Reports
  • The triage report
  • Findings
  • Environment
  • Utilization
  • Properties
  • The bug report
  • Context, Instance, & Logs
  • Bug likelihood over time
  • Statistical debug information
  • Logs Explorer & multiverse map
  • Multiverse debugging
  • Overview
  • The Antithesis multiverse
  • Querying with event sets
  • Environment utilities
  • Using the Antithesis Notebook
  • Cookbook
  • Tooling integrations
  • CI integration
  • Discord and Slack integrations
  • Issue tracker integration - BETA
  • Configuration
  • Access and authentication
  • The Antithesis environment
  • Optimizing for testing
  • Docker best practices
  • Kubernetes best practices
  • Concepts
  • Properties and Assertions
  • Properties in Antithesis
  • Assertions in Antithesis
  • Sometimes Assertions
  • Properties to test for
  • Fault injection
  • Reference
  • Webhooks
  • Launching a test in Docker environment
  • Launching a test in Kubernetes environment
  • Launching a debugging session
  • Webhook parameters
  • SDK reference
  • Go
  • Tutorial
  • Instrumentor
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Java
  • Tutorial
  • Instrumentation
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • C
  • C++
  • Tutorial
  • C/C++ Instrumentation
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • JavaScript
  • Python
  • Tutorial
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Rust
  • Tutorial
  • Instrumentation
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • .NET
  • Tutorial
  • Instrumentation
  • Assert (reference)
  • Lifecycle (reference)
  • Random (reference)
  • Languages not listed above
  • Assert (reference)
  • Lifecycle (reference)
  • Assertion Schema
  • Instrumentation
  • Handling external dependencies
  • FAQ
  • Product FAQs
  • About Antithesis POCs
  • Release notes
  • Release notes