基于随机Petri网测试的序列生成系统

摘要

提出用随机Petri网(SPN)模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机(FSM)或扩展有限状态机(EFSM)模型分析的不足,并可对系统模型进行性能分析。通过具体例子说明了其在实时软件中的应用。