Test generation of controllers using the synthesis specifications

The test generation of finite state machines proposed by the authors is performed by going first through all the transitions of the control flowgraph them completing the test set of the undetected faults using the Poage method. In more detail the mixed test generation method starts with a functional test generation method producing a very short and effective (in terms of detection quality) test sequence. An original input don't care optimization phase is invoked. A second phase is based upon a deterministic approach to reach 100% coverage still using the finite state machine specifications.<>