Intolerable Component Output?
Static fault tree analysis (Watson, ‘61)
- Place corrupt outputs discovered by fault injection as top nodes and mitigate those output events. Developer likely to refuse.
Backward static slicing and testing (Weiser, ‘82)
- Find slices of code that affect the values in those corrupt variables, and then heavily test. Not practical.