Petri Web Random Test Generation Based on the Alignment of the System
Hang Lei · Microelectronics & Computer · 2006
By using random Petri web(SPN) models to real-time system modelling and testing a series of methods, models for the system described in it, such as asynchronous behaviour to avoid based on the limited expansion of the state machine (FSM) or limited expansion of the state machine (EFSM) model analysis inadequate, and the system model performance analysis. Through concrete examples of its real-time software applications.