Building an open-source version of Antithesis, Part 1: Understanding the deterministic simulation testing ecosystem
You might be wondering, what’s Antithesis? This is what they describe themselves as (from their website): Antithesis is a continuous reliability platform that autonomously searches for problems in your software within a simulated environment. Every problem we find can be perfectly reproduced, allowing for efficient debugging of even the most complex problems. The people behind Antithesis are the ones who pioneered DST (deterministic simulation testing) at FoundationDB. But what’s deterministic simulation testing? To some, DST is a superpower. But for others, it just looks like some variant of automated testing. I’ll take a neutral stance here, and I’ll try to explain it without hyping it up. As a developer, you likely won’t have the superpower to predict what might break your code. Not everything is observable, and it is very likely that your code might encounter a few “unknown-unknowns” in its lifetime. Most systems are non-deterministic in nature. Every execution of your program is a
14 Jun, 2024 Building an open-source version of Antithesis, Part 1: Understanding the deterministic simulation testing ecosystem Understanding deterministic simulation testing and laying out the foundations for our implementation Introduction ¶ You might be wondering, what's Antithesis ? This is what they describe themselves as (from their website ): Antithesis is a continuous reliability platform that autonomously searches for problems in your software within a simulated environment. Every problem we find can be perfectly reproduced, allowing for efficient debugging of even the most complex p
Explore this link on the map →saved by
related reading
- NYSRGnotes.ekzhang.com
- Testing robotics systems in fast-paced startups | Michael Jae-Yoon Chungmjyc.github.io
- Antimetalantimetal.com
- Chaos engineering - Wikipediaen.wikipedia.org
- Mediumnetflixtechblog.com
- The sad state of property-based testing librariesstevana.github.io
- A Distributed Systems Reading Listferd.ca
- Killing Coding Agent Slop With Adversarial Self-Playusetelos.ai
- Towards self-driving codebases · Cursorcursor.com
- Catching bugs with fractional proofs | Theoremtheorem.dev
- Software Engineering at Googleabseil.io
- Predicting model behavior before release by simulating deployment | OpenAIopenai.com