PRED: Undesirable System Outputs
PRED is a language for formally specifying hazardous or other undesirable output anomaly states for system S.
Not all software failures are undesirable!
In certain situations, if a particular variable becomes corrupted in any manner, it is hazardous. In other cases, it might be a set of conditions,
- e.g., if variable_1 > 5 and variable_2 > 100. And in other cases, it might be problematic only when variable_1 = 103.
Software Failure Levels: Catastrophic, Severe, and Major