Definitions
Observability: the probability that a failure will be noticeable in the output, e.g., by a simple file compare between two output files
Detectability: the probability that a failure will be observable and the probability that the oracle will be reliable enough to detect the failure. This has been a problem in N-version programming voters for floating-point calculations. Is 97.12345 = 97.123449?
- Detectability is a function of the Reliability(oracle) and degree of observability
-