"Finding Bugs with cargo-mutants"
summary
cargo-mutants automatically injects small, realistic synthetic bugs into a copy of a crate, builds with syn-based parsing, and reruns tests to find behaviors no test asserts. It flags cases where a function could replace function with true or a type could always hash the same value. Runs are deterministic and parallelizable in CI, the author sees 575 mutants on its own source and full-suite checking takes about 15 minutes with incremental builds to reveal real bugs and test gaps.
AI-written summary · about
chapters (11)
- 0:00The persistence of bugs
- 1:24Limitations of software tests
- 4:01Introduction to cargo-mutants
- 6:17How cargo-mutants works
- 7:19Small example walkthrough
- 9:33Case study: semver crate
- 12:19Handling mutant findings
- 15:27Tool implementation details
- 19:44User feedback and experiences
- 22:28Performance and parallelization
- 24:22Conclusion and Q&A
related talks
27mFear the mutants Love the mutants
41mMutation Testing with Mutant
41mMutation testing in practice
01h 00mKill Evil Mutants!
31mCan You Trust Your Tests?
50mKill All Mutants! Intro to Mutation Testing
20mUnleashing the Power of Mutation Testing: Supercharging Software Quality and Resilien...
30mTesting with Mutants