Build bigger in less time: code testing beyond the basics
summary
Claims three concrete techniques—invariant testing, snapshot testing, and deterministic simulation—and shows them used to make real Rust projects fast and reproducible: cargo-semver-checks and Trustfall depend on these techniques; Trustfall’s entire end‑to‑end suite runs in a third of a second on a 3.5‑year‑old laptop; tigerbeetle-reported bugs reproduce in under a second with simulation. Uses the insta library for snapshots, explains seedable simulators, and gives concrete invariants and snapshot-review workflows that actually prevented regressions.
AI-written summary · about
chapters (5)
- 0:00Introduction and motivation
- 2:19Invariant testing
- 8:35Snapshot testing
- 14:48Deterministic simulation
- 25:21Conclusion and Q&A
related talks
21mA Tour of Empirical Verification in Rust
32mTesting strategies and pattern for efficient TDD in Rust
32mBuilding and Maintaining Rust at Scale
15mTesting My Patience: An Exploration of Testing in Rust
03mRust Programming in 5 Minutes
40mRust’s approach of getting things right
29mRust is easy
56mReady for Rust