扩展有限状态机相关论文
随着支持J2ME终端的普及以及J2ME应用需求的日新月异,传统的开发模式和工具已不适合J2ME应用的开发要求.本文提出了一种集需求分析......
嵌入式实时软件测试的一个重要研究内容是如何有效验证生成的测试用例是否满足系统的实时性要求.本文在传统EFSM模型的基础上加入......
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EF......
扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互......
现代通信与计算机网络技术的飞速发展,使得通信协议的复杂程度越来越高,这样就导致协议实现与协议之间不可避免地出现差错.为了检......
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底......
基于通信的列车控制(Communications Based Train Control,CBTC)系统,通信协议是整个系统安全的基础,也是各子系统间可靠地进行数......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软件......
伴随着移动互联网技术的飞速发展,为人们的学习和生活带来了极大的便利,越来越多的人开始接触并使用移动互联网提供的业务。移动互......
本文首先逐步深入地对软件测试、面向对象软件测试、自动化软件测试和面向对象软件单元测试进行了介绍和分析。最后主要集中精力于......
本文对基于UML状态图的测试用例自动生成方法进行了比较完整、系统的研究，它是一种针对面向对象软件的类或类簇级测试。下面从几个......
传统软件测试通常是设计合适的测试用例,检测软件是否能够输出预期结果,是对错误表象的检测;而基于故障模型的软件故障检测是根据......
软件产品已经应用到社会生活中的各个领域,人们对于软件产品的质量也越来越重视。软件测试作为保障软件产品质量的主要手段,在整个......
近年来，计算机视觉的技术发展很迅速，作为计算机视觉的一个分支，人机交互是一个非常重要的研究领域。除了语言之外，手势是人们通常会选......
软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组......
由于软件产品在社会各领域的应用范围越来越广,软件系统中的缺陷会造成更为广泛和严重的后果,这给软件可靠性保证工作提出了新的挑......
近年来,随着软件开发规模的增加,测试用例数量急剧增长,如何有效利用有限资源降低测试成本和提高软件缺陷检测速率成为一大难题。......
如今软件测试并不像传统的测试技术那样,将测试视为软件编码后的第一个环节,伴随着软件工程的不断发展,软件测试在软件生命周期每......
文章介绍了扩展有限状态机的测试模型和PSL语言,探讨了一种基于EFSM模型的综合控制流和数据流的测试集生成技术,并重点介绍了相应......
该文讨论了测试序列生成中的几个问题，其一是基于ＮＦＳＭ（非确定有限状态机），其二是基于ＥＦＳＭ（扩展有限状态机），其三是ＣＦＳＭｓ（通信－ｃｏｍｍｕｎｉｃａｔｉｎｇ ＦＳＭｓ）的测试执行和生成。......
随着工业技术的不断革新,对于工业过程中安全性的要求也日益提高。在做好安全评价和有效的防护的基础上,能够预先判断即将发生的安......
在以扩展有限状态机为模型的协议一致性测试中，为了提高可执行测试序列的生成效率，论文将协议测试序列的生成问题转化为一个最优......
将切片技术引入扩展有限状态机模型，可根据兴趣点约减状态及变迁数，对模型的分析与测试有重要意义．由于EFSM模型基于变迁的依赖关系，传......
针对石化系统工作过程安全分析问题,综合计算机领域中数据依赖技术,本文提出里一种新的应用于石化系统的的安全分析解决办法.并通......
为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息......
SQL注入漏洞是危害最为严重的电力Web信息系统漏洞之一,且其隐蔽性、逻辑性和时序性等特点不断增强,传统漏洞分析方法已难以满足当......
在IEC60870-5-6和IEC61850第10部分：一致性测试，2个关于变电站通信协议一致性标准正式颁布的情况下。描述通信协议的一致性测试模型......
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态......
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表......
针对EFSM可达性分析过程中的状态空间爆炸问题，提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的......
扩展有限状态机（EFSM）模型在有限状态机（FSM）模型的基础上进行了扩展，通过EFSM模型，可以更加精确的描述软件系统的行为。本文将初始的不......
作为防火墙和入侵检测的有效补充,诱骗服务器成为网络安全的越来越重要的部分,本文在对当前诱骗服务器的研究水平进行了仔细分析的......
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列（ESIS）的计算效率,提出一种ESIS序列自适应生......
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EF......
EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存......
协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然......
基于软件描述模型的测试数据自动生成研究中，字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分......
使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛......
本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以......
为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，利用扩展的有限状态机模型（EFSM）和数据流分析方法，对类、类的消息传递和......
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂......
在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言......
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列......
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法......
基于扩展有限状态机（EFSM）模型自动生成测试序列可以提高测试效率．由于EFSM模型包含丰富的变量和谓词条件，它们之间的冲突可能导致自动......
为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，目前很多方法都是针对有限状态机自动生成测试用例进行介绍，而在本文中......
本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结......
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机（extended finitestate machine,EFSM）为模型描述的协议进行测......
