Fault models for testing in context - School of Electrical Engineering ...

11 downloads 1597 Views 1MB Size Report
a component FSM and a context machine that models the remaining part of the system ...... (1978) Testing software design modeled by finite-state machines.

Suggest Documents