EFSM相关论文
制造业的生产物流方式处于不断变革中，对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。首先依“人-机-物-环-法”分类......
扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互......
Web应用程序的测试包括性能测试和结构化测试两类,分别用于测试Web应用程序的性能表现与内部实现。结构化测试比性能测试更能准确......
绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可......
由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工......
利用计算机虚拟现实技术结合专家系统进行应急演练推理已成为化工安全演练方面的一个重要研究方向.然而传统的专家系统在面对新环......
从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介......
面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键。本文研究一种将包含层次和并发结构的状态图转化为......
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication ......
针对EFSM可达性分析过程中的状态空间爆炸问题，提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的......
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择......
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法，但是对于测试者来说，寻找一种等价类测试的划分方法十分......
提出了一种可信密码模块（TCM）符合性测试的形式化方法,采用基于扩展有限状态机（EFSM）模型与测试向量相结合的方式对TCM的标准进行形式......
提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FS......
协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然......
使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛......
软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言（UML）状态图生成......
在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点......
蓝牙系统是短距离无线通信系统 ,本文用EFSM模型来描述蓝牙协议栈中的电话控制协议 (TCS)。为了实现最小花费测试组的自动生成 ,采......
绝大多数通信协议是以ＥＦＳＭ来描述的本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及证明，通过协议转换，可以使生成一致性测试集的......
由于面向对象的分布式系统的并发性和通信性特点,该文提出一种将Petri网和EFSM/CEFSM结合起来的方法,利用Petri网模型来分析分布式......
摘要：结合欧债危机背景，本文探讨了欧元区三大救市措施——欧洲金融稳定机制（EFSM）、欧洲金融稳定基金（EFSF）以及欧洲稳定机制（ESM）背后的......
为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，目前很多方法都是针对有限状态机自动生成测试用例进行介绍，而在本文中......
在开发采用集成芯片控制的电力电子系统时，电力电子电路研究人员与嵌入式软件编制人员之间缺乏简单有效的沟通方法。通过对电力电子......
自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统......
欧债危机后欧盟对债务国的救助分为定向性和非定向性两种。定向性救助活动中设立的EFSF采取的是公司制运行机制，扩容后救助能力接近......
由于手工法生成的测试例具有随机性、不确定性和不完整性，因此提出了一个自动生成测试例的方法，使用该方法生成的测试例比运用手工法......
在面对复杂的系统时，EFSM模型在语法上的欠缺，非层次结构会导致状态爆炸。针对EFSM中存在的状态迁移不确定性问题进行改进，对状态图中......
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证......
这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性的ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序我的可执行性，观察性，控......
在一个以扩展的有限状态机（ＥＦＳＭ）为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。同时，还要考虑到测试序列的优化问题。......
研究基于EFSM的一致性测试例的生成：动态选择与自动机技术相结合．该研究方法可对测试集进行有效优化，并提高生成测试集的覆盖率．......
无线通信测试是整个无线通信工作中一个很重要的环节。本文以蓝牙无线通信为例，用EFSM模型描述了其电话控制协议（TCS）。为了使测试例......
软件定义网络的出现为传统网络架构带来了颠覆性的改变,它将数据平面与控制平面解耦,使得网络管理者能够使用软件来决定网络中流的......
为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用......
