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