predict the impact a particular fault may have on the behavior of the
software module or component, and ultimately the system, as a whole.
In interface propagation analysis, the tester perturbs the states that
propagate via the interfaces between the module or component and its