On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments¶
Lasse, N. (2014). On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments: Investigating Silent Failures Using Fault Injection Experiments.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Self Checking
- And the silent-failure pathology: a self-checking system whose comparator itself has failed can produce false confidence — the checkpoint that always returns "OK" because it has stopped checking is worse than no checkpoint at all, which motivates checking-the-checker patterns such as negative selection of thymocytes, randomly injected test cases, and attestation of the validator.
This sourceTreats fault injection (and mutation testing) as a way to check the checker — deliberately introducing faults to verify that a comparator/test suite actually detects them rather than silently passing; parallels immune negative selection of self-reactive thymocytes.
- And the silent-failure pathology: a self-checking system whose comparator itself has failed can produce false confidence — the checkpoint that always returns "OK" because it has stopped checking is worse than no checkpoint at all, which motivates checking-the-checker patterns such as negative selection of thymocytes, randomly injected test cases, and attestation of the validator.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:67a72b7699b9 · see in the full table