基于时间Petri网产生测试序列的方法
有限状态机(FSM)模型不利于描述并行活动的同步性.而扩展有限状态机(EFSM)因增加了操作和迁移的前置条件,导致存在不可达状态.因此,提出用时间Petri网(Time Petri Net)模型描述实时系统并产生测试序列的方法.时间Petri网是一种基于状态的高级模型,该模型方便描述系统的并发、同步等行为,避免基于FSM或EFSM模型分析实时系统的不足.搜索可达树的最短路径,产生有时间约束条件的测试序列,可检测系统是否在规定时间内完成预期功能.文中通过实例说明该方法在实时软件测试中的应用.
petri网 实时系统 测试序列 EFSM模型
唐乐 雷航 吴晓华
电子科技大学,软件学院,四川,成都,610054
国内会议
北戴河
中文
483-487
2006-08-07（万方平台首次上网日期，不代表论文的发表时间）