论文部分内容阅读
提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FSM）或扩展有限状态机（EFSM）模型分析的不足,并可对系统模型进行性能分析.通过具体例子说明了其在实时软件中的应用.
基于随机Petri网测试的序列生成系统
【摘 要】
：
提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FSM）或扩展有限状态机（EFSM）模型分析的不足,并可
【机 构】
：
电子科技大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年11期
其他文献
某汽轮机组各高压调节阀在机组运行过程中多次发生阀杆与连接杆连接处防转销断裂、阀杆脱落的缺陷,分析原因在于设备设计存在一定缺陷,检修工艺亦有不足之处。本文通过对调阀
目的 :探讨胃癌浸润浆膜层与胃癌分型、胃癌体积、胃癌分化程度及胃癌病理学类型等相关因素的关系。方法 :总结经手术治疗相关资料完整的胃癌病例 10 6 2例进行单因素分析 ,
通过1000例不育男性精液常规检查的主要参数进行分析,以探求精液质量与不育的关系.1 临床资料1.1 精液标本均由本院不育门诊提供,收集于1998年1月至1989年12月.年龄20～63岁,平
协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状
为保证炼油厂设备的安全稳定运行,需要对设备腐蚀进行分析,并制定相关的维修处理方案。本文就炼油厂设备腐蚀分析及维修处理方法进行了探讨。
胸腔穿刺是胸腔积液常用的治疗方法,部分患者常需反复多次进行,容易造成穿刺部位感染和血胸、气胸并发症.为避免积液减少后损伤,常任其自行吸收,而致胸膜肥厚、粘连、包裹.[1