bounded-crash-testing · research · also bounded black-box crash testing, B3 crash testing

Bounded crash testing

Bounded crash testing systematically explores recovery behavior within an explicitly limited set of workloads, initial states and crash points.

CrashMonkey and ACE implement this approach for file systems; exhaustive coverage within selected bounds is not a proof covering every possible crash.

Relations

related

crash-consistency, crash-test-oracle, fsync

Citations

1. Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju and Vijay Chidambaram. Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. OSDI 2018, pp. 33-50; sections 3-6. (accessed 2026-10-12)
2. CrashMonkey project. ACE documentation: sequence lengths count core operations and the input space is bounded. (accessed 2026-10-12)
3. Hesela. Crash-consistency tests: the oracle is part of the result. (accessed 2026-10-12)

JSON: /data/terms/bounded-crash-testing.json