environment. To do this, the tester injects anomalies into the data feeds
between the two levels of components and then watches to see how the
resulting faults propagate and whether any new anomalies result.
Interface propagation analysis enables the tester to determine how a