hesela.devFault model
A fault model specifies the failures a test or analysis admits, their scope and timing, and which system state and components remain available afterward.
For storage recovery, name the failed component, volatile state that is lost or preserved, permitted write reordering or tearing, and whether faults may occur again during recovery. SQLite's crash harness models unsynchronized-write effects rather than treating process termination alone as a device-power-loss test. Keep the fault model separate from the workload, the recovery correctness oracle and the real-world frequency of failures.
Relations
- related
- fault-injection, bounded-crash-testing, crash-test-oracle, crash-consistency, persistence-ordering
Limitations
- A passing test establishes only the explored cases under its stated assumptions; it is not evidence of resilience to excluded faults. [1]