Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines
In a previous paper, we proposed a generic test generation method for deterministic implementations of deterministic finite state machines. The method supports a wide class of testing strategies, multi-criteria optimization and integrated handling of all the usual optimization concerns. The present paper generalizes the method to an even wider class of strategies, to non-deterministic machines and to machines handling data.
generic method test sequence generation non-deterministic finite-state machine extended finite-state machine