A testing metric for designs modelled as hierarchical finite-state machines.

Ning. Lew
Modern software design tools use finite-state machines (FSMs) arranged in hierarchical fashion. Many techniques have been developed for testing software modelled as an FSM, but none explicitly addressing designs modelled as a hierarchical FSM (HFSM). Additionally, the problem of explosion in the number of test paths precludes the testing of all possible paths through the HFSM [Holzmann 91]. This thesis presents a practical and scalable method for testing a design modelled as an HFSM. The...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.