【摘 要】
：
有限状态机(FSM)模型不利于描述并行活动的同步性.而扩展有限状态机(EFSM)因增加了操作和迁移的前置条件,导致存在不可达状态.因此,提出用时间Petri网(Time Petri Net)模型描
【机 构】
：
电子科技大学,软件学院,四川,成都,610054
论文部分内容阅读
有限状态机(FSM)模型不利于描述并行活动的同步性.而扩展有限状态机(EFSM)因增加了操作和迁移的前置条件,导致存在不可达状态.因此,提出用时间Petri网(Time Petri Net)模型描述实时系统并产生测试序列的方法.时间Petri网是一种基于状态的高级模型,该模型方便描述系统的并发、同步等行为,避免基于FSM或EFSM模型分析实时系统的不足.搜索可达树的最短路径,产生有时间约束条件的测试序列,可检测系统是否在规定时间内完成预期功能.文中通过实例说明该方法在实时软件测试中的应用.
其他文献
网格技术发展迅速.从网格技术的发展轨迹和我国社会经济发展的需求来看,构建地理空间信息网格势在必行.本文介绍了网格的技术背景与发展进程,提出地理空间信息网格的结构层次
Stewart并联机构作为大射电望远镜馈源系统的二次精调平台,由于馈源舱体的运动特性,精调平台的位置基准在整体坐标系下不断变化,本文针对大射电望远镜馈源系统精调平台位置基
为抑制高频雷达中的非平稳射频干扰,推导并分析了其距离-多普勒谱形式及时频特征,指出在时频域上射频干扰表现为单(或多)分量时频脊,且在不同距离元上的时频分布仅有一个相位
基于长江的生态环境现状,从生态学原理的角度,以生态学理念指导流域开发利用治理,同时加强生态监督力度,建立生态补偿机制,在统一立法的基础上,采用综合管理模式,促进管理机
对重庆市环境科技发展的内部环境进行了研究,分析了重庆市环保科技运行与管理机制环境科技政策、研究开发机构、科研基础设施nbg、研究开发资金以及研究开发项目与人才的具体
生态区建设是实施可持续发展战略的最基本的经济社会形式,是运用生态经济和循环经济理论,统筹区域经济、社会和环境、资源的关系,是可持续发展思想的集中体现,是落实环境保护
目的 系统评价完全胸腔镜与正中开胸房间隔缺损修补术疗效的有效性和安全性.方法 计算机检索The Cochrane Library(2016年2期)、PubMed、EMbase、CBM、CNKI、WanFang Data和V
提出了一种基于统计理论、信息融合及神经网络的容差模拟电路故障诊断方法.该方法将故障诊断分为两个阶段完成,即故障检测与故障定位.通过监测可测点工作电压利用所构建的故
本文通过对891例接受人流手术的未婚者进行调查,探讨未婚人流人群的高危因素,为该群体开展生殖保健教育提供依据。1 资料与方法1.1 资料。2001年6月-2002年5月在我院计划生育
未初始化变量是C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.本文针对C++语言中常见未初始化变量故障进行了分析,并从面向具体故障的测试思想出发,建立了未