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

• 作者: 吴晓华 雷航
• 来源期刊: 微电子学与计算机
• 关键词: 随机Petri网 实时系统 测试序列 FSM EFSM
• 年，卷（期）: 2006,（11）
• 页码范围: 99-101
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.11.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷航	电子科技大学计算机学院	92	1434	17.0	35.0
2	吴晓华	电子科技大学计算机学院	10	86	6.0	9.0