Abstract: An automatic test generation system in which the coverage levels of the tests can be controlled to tradeoff between the extent of the test conducted and the length of time required to execute the test. The system under test is modeled as an extended finite state machine made up of interconnected models. The coverage level of each model can be controlled to avoid generating paths that differ only be edges within certain models if those differing edges are already included in other paths. The coverage level for each model can be set automatically through a process which computes the effect on the total number of paths generated when the coverage level of selected models is varied.

Abstract: A method for generating test programs for an implementation of a specification that has been modeled as an extended finite state machine (EFSM), the EFSM including vertices and transitions, where the transitions represent functions to be performed by the implementation, including predicates and actions such as variable assignments. The method includes traversing the EFSM in a depth-first manner from a root model start state to a root model exit state, through intermediate vertices which may be normal states or models. Models include further vertices and transitions, and may be called as submodels or as go-to models, where a go-to model includes an EFSM exit state. The EFSM may be traversed exhaustively, such that all possible paths are traversed, or in a partial transition coverage mode, where a user-defined subset of the possible paths are traversed.