Petri Web Random Test Generation Based on the Alignment of the System

WU Xiao-hua,LEI Hang

DOI: https://doi.org/10.3969/j.issn.1000-7180.2006.11.030

2006-01-01

Abstract: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.