Fault Models Defects -> Faults -> Errors -> Failures Fault models: modeling of multiple defects as single faults at a higher level of abstraction Significantly reduces…