Fuzz Testing and Verification of Apache Cassandra with "Harry"
summary
Harry is a fuzzing and model‑checking component for Apache Cassandra that generates arbitrarily large, reproducible workloads from a single seed and configuration, represents values as 64‑bit descriptors with a bijection to actual column values to avoid storing state, uses PCG family RNG for a navigable log and sliding windows, and runs an simulator for deterministic interleavings to surface concurrency bugs. The system produces minimal repro sequences, inflates only the rows under verification, and successfully reproduces and reduces tricky production bugs that earlier were hard to trigger.
AI-written summary · about
chapters (4)
- 0:00Start
- 3:53Jvmd Tests
- 9:41Advantages of Model Checking over Manual Testing
- 30:26Implement an Exhaustive Checker
related talks
53mFuzz Testing for Fun and Profit
47mFuzzing Your Code
38mFuzzing or Testing with Garbage Data
29mScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs...
21mModern Testing and Fuzzing in Bitcoin Core
19mCAFault: Enhance Fault Injection Technique in Practical Distributed Systems via...
40mBreaking Valkey on Purpose: Chaos Fuzzing a High-Performance Key-Value Store With Agentic AI
53mFuzzing 101