【作者】 唐乐； 雷航； 吴晓华；

【Author】 Tang Le ,Lei Hang ,Wu Xiao hua (University of Electronic Science and Technology of China,School of Software, Sichuan ,Chengdu, 610054)

【机构】 电子科技大学软件学院；

【摘要】 有限状态机(FSM)模型不利于描述并行活动的同步性。而扩展有限状态机(EFSM) 因增加了操作和迁移的前置条件,导致存在不可达状态。因此,提出用时间Petri网(Time Petri Net)模型描述实时系统并产生测试序列的方法。时间Petri网是一种基于状态的高级模型,该模型方便描述系统的并发、同步等行为,避免基于FSM或EFSM模型分析实时系统的不足。搜索可达树的最短路径,产生有时间约束条件的测试序列,可检测系统是否在规定时间内完成预期功能。文中通过实例说明该方法在实时软件测试中的应用。更多还原

【Abstract】 Finite state machine(FSM)is not suitable for describing the synchronization of parallel activities. Due to preconditions among the operations and transitions,exist infeasible paths in an extended finite state machine(EFSM). Hence we propose a method to generate test sequence based on time petri net. Time petri net is high level state model,it can describe systems that are characterized as being concurrent, synchronization,etc. It can also avoid shortcomings of using FSM and EFSM to analyse real-time system. Searching short route of coverability tree to generate timing constraint test sequence,which can detect whether system perform its functional behavior in the timing constraints. We explain its application in real-time software test through an example.更多还原