EFSM相关论文
制造业的生产物流方式处于不断变革中，对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。首先依“人-机-物-环-法”分类......
Web应用程序的测试包括性能测试和结构化测试两类,分别用于测试Web应用程序的性能表现与内部实现。结构化测试比性能测试更能准确......
在基于通信的列车运行控制(Communications-based Train Control,CBTC)系统中,安全通信协议是各子系统间可靠的数据通信的保证,也......
由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工......
利用计算机虚拟现实技术结合专家系统进行应急演练推理已成为化工安全演练方面的一个重要研究方向.然而传统的专家系统在面对新环......
从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介......
面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键。本文研究一种将包含层次和并发结构的状态图转化为......
针对EFSM可达性分析过程中的状态空间爆炸问题，提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的......
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择......
提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FS......
协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然......
使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛......
在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点......
蓝牙系统是短距离无线通信系统 ,本文用EFSM模型来描述蓝牙协议栈中的电话控制协议 (TCS)。为了实现最小花费测试组的自动生成 ,采......
由于面向对象的分布式系统的并发性和通信性特点,该文提出一种将Petri网和EFSM/CEFSM结合起来的方法,利用Petri网模型来分析分布式......
摘要：结合欧债危机背景，本文探讨了欧元区三大救市措施——欧洲金融稳定机制（EFSM）、欧洲金融稳定基金（EFSF）以及欧洲稳定机制（ESM）背后的......
为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，目前很多方法都是针对有限状态机自动生成测试用例进行介绍，而在本文中......
在开发采用集成芯片控制的电力电子系统时，电力电子电路研究人员与嵌入式软件编制人员之间缺乏简单有效的沟通方法。通过对电力电子......
自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统......
在面对复杂的系统时，EFSM模型在语法上的欠缺，非层次结构会导致状态爆炸。针对EFSM中存在的状态迁移不确定性问题进行改进，对状态图中......
软件定义网络的出现为传统网络架构带来了颠覆性的改变,它将数据平面与控制平面解耦,使得网络管理者能够使用软件来决定网络中流的......
为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用......
