Extended Propagation Analysis
Simulate internal code faults and external hardware and software failures
Input:
- Set of code inputs (operational profile)
- Places in code to fault-inject
- Definition of unacceptable outputs
Identify sources of software hazards