Abstract:

The simulation model based on FSM( Finite State Machine ) is difficult for an recurrence of its transition due to the complicated external environment, so the verification and validation of the FSM model are almost impossible though they are very important to modeling and simulation in any application. According to the migration of state and public methods, this paper brings out a principle to classify the public interface functions, and propose verification tactics to monitor the set of input/output interfaces. The test demonstrates that this method is effective and feasible.

Key words: finite state machine;paradigm of model;software engineering