A finite state model-based testing system has a user interface to enable a user
to enter state information and transition information about a software application
to be tested. The user interface further enables a user to initiate a model generation
engine to generate a model of the software application from the state information
and transition information. A graph traversal menu enables a user to select a graph
traversal program to generate a test sequence of inputs for the software application
from the model, and a test execution menu enables a user to select a test driver
program to read the test sequence of inputs for the software application, and execute
the test sequence of inputs on the software application.