flâneur

Building an open-source version of Antithesis, Part 1: Understanding the deterministic simulation testing ecosystem

databases.systems · 4,120 words · saved by 2 readers

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

saved by

related reading