导读:本文包含了扩展有限状态机论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:状态机,算法,测试,测试数据,模型,多种,神经网络。
扩展有限状态机论文文献综述
梁浩然[1](2017)在《基于概率扩展有限状态机的统计测试方法研究》一文中研究指出由于软件产品在社会各领域的应用范围越来越广,软件系统中的缺陷会造成更为广泛和严重的后果,这给软件可靠性保证工作提出了新的挑战。软件测试是最常用的一种保证软件质量和可靠性的重要手段,但目前随着软件复杂度的增长,软件测试过程会花费更大的时间和经济成本。自动化测试是一种有效提高测试效率的方法,但相关技术并不完善。如何在有限的测试资源约束下选择测试用例,尽可能地发现更多的错误,进一步节约测试成本,仍是一个值得研究的课题。本文针对软件系统行为建模困难、测试成本高、测试自动化程度不足的问题展开研究。首先,基于统计测试的思想,充分利用用户使用频率信息指导测试过程,提出了概率扩展有限状态机的形式化模型,并阐述了建模场景和模型构建过程。该模型与传统的马尔科夫使用模型相比,具有更强的模型描述能力,能够描述更为复杂的软件系统。其次,本文提出了基于概率扩展有限状态机模型的测试用例生成方法,对于频繁使用的重要操作增大测试机会,从而实现了测试用例规模的缩减,在保留一定错误探测能力的前提下尽可能地节约测试成本。在该模型中,由于迁移边上存在护卫条件,直接按概率选择迁移会导致大量不可行路径,因此本文以正则表达式作为中间形式生成测试用例,并相应地提出了一系列算法,包括改进的正则表达式转化算法、候选路径集生成、路径可行性分析和测试用例选择算法。为了体现文中方法的实用性,本文针对智能电视测试问题展开实例研究,并研制出相应的具有完整功能的自动化测试工具,证明了本文方法的有效性和实用价值。此外,本文还通过实验与最新的RWADS方法进行对比分析,结果表明本文方法能够有效提升测试用例的错误探测效率。(本文来源于《大连理工大学》期刊2017-03-30)
刘丹[2](2016)在《基于扩展有限状态机的SIP安全防护机制的研究与实现》一文中研究指出作为下一代网络融合的核心,IMS(IP Multimedia Subsystem,IP多媒体子系统)核心网取得了广泛的关注,但是因其业务控制协议SIP(Session Initiation Protocol,会话启动协议)协议自身存在一定的安全脆弱性,使得IMS核心网的部署和使用存在一定的障碍。首先在设计SIP协议时,IETF重点考虑的是协议的简单和易用性,对于协议的安全问题考虑不多;其次SIP协议经由Internet进行传输,必然面临着IP网中的各种安全威胁,由于SIP协议是基于文本的协议,使得SIP消息在传输过程中很容易被人拦截进行恶意篡改和模仿并被用来进行一些恶意的攻击,最好的例子就是通过畸形SIP消息进行的恶意攻击[1]。因此,SIP协议的安全防护问题对于IMS核心网而言至关重要。本文致力于研究与实现基于扩展有限状态机的SIP安全防护机制,并将其应用于IMS核心网接入设备SBC(Session Border Center,会话边缘控制器)中实现SBC的信令防护功能。本文使用扩展有限状态机来实现SIP消息的安全检测机制,旨在实现畸形SIP消息、用户注册数/呼叫数、用户注册速率/呼叫速率、DOS攻击等的检测功能,实现SIP安全防护最为重要的一步。对于检测出的非法用户,本文采用iptables对其进行拦截,通过更改iptables源码改变其原本对外提供的命令行使用方式,根据所要实现的具体功能向iptables传送配置数据,iptables将接收到的配置数据转换为功能所对应的规则信息并对规则表进行管理,进而实现对非法用户的拦截与释放等功能。测试结果显示本文实现的基于扩展有限状态机的SIP安全防护机制很好的完成了 SIP的安全防护功能,有效地实现了对非法用户的拦截。(本文来源于《北京邮电大学》期刊2016-03-09)
周小飞,赵瑞莲,李征[3](2015)在《基于多种群遗传算法的可扩展有限状态机测试数据自动生成》一文中研究指出可扩展有限状态机EFSM(Extended Finite State Machine)是目前常用的一种描述软件状态和行为的模型,研究EFSM模型的测试数据自动生成方法具有重要的意义。针对EFSM模型,本文提出一种面向EFSM路径的测试数据自动生成方法,利用多种群遗传算法MPGA(Multi-Population Genetic Algorithm)实现了EFSM测试数据的自动生成。实验结果表明,基于MPGA的EFSM模型测试数据自动生成是确实可行的,并且其测试数据生成效率优于遗传算法(GA)的测试数据生成效率。同时,通过实验分析了MPGA的种群数量、迁移间隔、迁移率、迁移策略等相关参数对EFSM模型测试数据生成效率的影响,得出一种最优的参数组合,对后续进一步利用MPGA进行测试数据自动生成的研究具有一定的指导意义。(本文来源于《计算机应用与软件》期刊2015年11期)
周小飞[4](2014)在《基于多种群遗传算法的可扩展有限有限状态机测试数据生成》一文中研究指出随着信息科学、计算科学的快速发展,与之相关的软件产业己逐渐成为一种蓬勃发展的行业。软件质量以及可靠性越来越受到用户的高度关注。软件测试以解决软件开发过程中产生的软件缺陷和漏洞为目的,可以有效保障软件质量和可靠性。然而,软件测试是一种复杂、耗时的工作,为进一步降低软件测试在整个软件开发过程中的人力及物力开销,提高软件整体的质量和效率,软件测试的自动化技术得到了广泛的应用。可扩展有限状态机(Extended Finite State Machine, EFSM)是在有限状态机(Finite State Machine, FSM)的基础上,增加了状态迁移执行所需的变量、前置条件和由此所触发的一系列操作。EFSM可以更加精确地刻画软件系统的动态行为,被广泛应用于软件规格说明中,因此针对EFSM模型的测试数据自动生成研究具有重要的实用价值和理论意义。随着启发式搜索算法在软件测试数据生成中的广泛应用,利用搜索算法实现EFSM模型测试数据自动生成取得了一定的成果。多种群遗传算法(Multi-Population Genetic Algorithm, MPGA)是一种新颖的并行搜索算法,采用多个种群同时进化,种群之间进行个体迁移的策略,可以进一步提高算法的搜索效率为此,针对EFSM模型,本文提出一种面向EFSM路径的测试数据自动生成方法,利用MPGA实现其测试数据的自动生成。在此基础之上,分析讨论MPGA的种群数量、迁移间隔、迁移率、迁移策略等相关因素对EFSM模型测试数据生成效率的影响,运用单一变量法分析获取MPGA在EFSM测试数据生成的最优参数组合,并进行了大量的实验。实验结果表明:利用MPGA实现EFSM模型的测试数据自动生成是确实可行的,其测试数据生成效率优于单种群遗传算法(GA)的测试数据生成效率;经过单一变量法获得的MPGA最优参数组合,可以有效提高EFSM模型的测试数据生成效率,这为后续进一步探讨基于MPGA的测试数据自动生成研究奠定了基础。(本文来源于《北京化工大学》期刊2014-05-30)
杨瑞,陈振宇,张智轶,刘子聪,徐宝文[5](2014)在《一种基于扩展有限状态机的自动化测试用例生成方法》一文中研究指出扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.(本文来源于《中国科学:信息科学》期刊2014年05期)
江良,赵瑞莲,李征[6](2013)在《基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析》一文中研究指出对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影响可能是线性或非线性的,因此建立多元线性回归预测模型和BP神经网络非线性预测模型,对EFSM路径测试数据生成进行效率—因素分析。具体而言,将路径长度、路径上变量数等因素作为自变量,测试生成成本看作因变量,建立多元线性回归模型。对于BP神经网络模型,考虑到因素间可能存在关联,首先采用主成分分析(PCA)确定影响测试生成成本的主要因素,然后应用BP神经网络建立测试生成效率主要因素分析模型,对EFSM测试生成成本进行预测。实验结果表明:BP神经网络比多元线性回归更适合作为EFSM路径测试生成效率因素分析模型,对EFSM路径测试生成成本进行非线性预测。(本文来源于《计算机应用》期刊2013年S2期)
张兵全[7](2012)在《基于扩展有限状态机的LTE一致性测试系统的设计与实现》一文中研究指出伴随着移动互联网技术的飞速发展,为人们的学习和生活带来了极大的便利,越来越多的人开始接触并使用移动互联网提供的业务。移动互联网的数据业务流量不断增加,对移动通信技术提出更高的要求,这种迫切的发展需要不仅要求移动上网速率上的提高,也要求质量上的保障。LTE技术的发展满足了这种需要,为了保障网络中各实体间能够正确、可靠地进行通信,必须根据协议规范进行协议一致性测试,因而针对LTE协议的一致性测试也成为通信协议测试研究的重点。本文首先对LTE的S1/X2接口协议测试进行了详细、系统的研究;介绍了LTE一致性测试的相关知识,通过介绍状态机的发展概况引出扩展有限状态机的概念,对扩展有限状态机的测试方法进行了深入的研究,针对协议测试进行建模;重点分析了扩展有限状态机与有限状态机的区别与联系,分析扩展有限状态机模型;对系统软件架构进行详细的设计,针对一致性测试把系统划分为一致性测试客户端、一致性测试服务器端、底层协议适配支持模块以及协议自动生成模块,并详细地阐述了各模块的设计模型与关键技术。本论文最后根据课题研究目标制定了测试目标,针对每一个目标,分别进行了详细的功能与性能测试,验证了一致性测试系统的正确性。结合当前一致性测试在实际中应用,分析了基于扩展状态机的一致性测试系统的发展前景。(本文来源于《北京邮电大学》期刊2012-12-20)
任君,赵瑞莲,李征[8](2011)在《基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成》一文中研究指出可扩展有限状态机(EFSM)模型的测试用例生成包括测试路径生成和测试数据生成两部分。然而,目前针对EFSM模型的测试研究大多集中于测试路径生成。为探索路径上测试数据的自动生成,提出一种面向EFSM路径的测试数据生成方法,利用禁忌搜索(TS)策略实现了EFSM测试数据的自动生成;分析了影响EFSM测试数据生成的关键因素,并与遗传算法(GA)的生成效率进行了比较。实验结果表明:基于TS算法的EFSM模型测试数据自动生成是确实可行的,其测试生成效率相对于GA有很大提高。(本文来源于《计算机应用》期刊2011年09期)
明小娜[9](2011)在《基于扩展有限状态机模型的GIS人机对话模式设计与应用》一文中研究指出地理信息系统及地理信息技术已在科学、商业、规划以及政府决策等多个领域得到广泛应用,成为人们生产和生活中的重要工具。尽管它们已经取得了长足的进步,但是其应用潜力还未充分实现。因为目前大多数GIS运行需要使用者了解系统的结构、功能和界面,这对于某些低层次用户来说相对难以掌握,制约了GIS应用的普及。除此以外,在传统移动设备中,通常受到设备显示屏幕小、输入相对繁琐、内容表达有限等制约,容易导致移动GIS的功能服务延迟,信息交互效率低,无法满足用户在快速移动条件下对信息实时传输的需要。自然语言作为语音交互的核心,符合人们的认知习惯、语言习惯,和图形语言相比,具有运用灵活、方便、快速的特点,在GIS中合理地运用自然语言,实现用户与系统之间的人机交互,将有助于GIS的智能化发展。为此,本文收集和整理了国内外关于GIS人机对话系统及有限状态机在人机对话系统应用等方面的研究现状,借鉴和部分采纳了人机对话系统领域中已有的研究成果和理论方法,并根据空间信息领域的特点,提出并实现了基于扩展有限状态机模型的GIS人机对话模式。首先,探讨了GIS人机对话的叁种交互模式,提出了特征词的本体属性与概括属性标记方法,并通过双重属性标记方法解决了自然语言的形式化表达问题;其次,研究了GIS人机对话中扩展有限状态机模型的设计,包括设计状态机状态、事件及行为、建立状态转移与对话过程的联系以及设计基于扩展有限状态机的GIS人机对话架构,从而解决了扩展有限状态机建模的问题;再次,实现了基于扩展有限状态机模型的GIS人机对话模式涉及的关键技术,其中采用反馈式语音对话模式解决了因用户输入内容不明确导致系统操作失败的问题,保证语音交互的流畅性与稳定性。最后,构建了基于扩展有限状态机模型的语音移动GIS人机对话原型系统,并分析了面向数据采集、地图浏览、信息查询和导航服务的人机对话应用实例。(本文来源于《南京师范大学》期刊2011-04-25)
韩喆,陈世鸿[10](2011)在《扩展有限状态机的依赖图构造及切片算法》一文中研究指出将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence G raph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.(本文来源于《小型微型计算机系统》期刊2011年04期)
扩展有限状态机论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
作为下一代网络融合的核心,IMS(IP Multimedia Subsystem,IP多媒体子系统)核心网取得了广泛的关注,但是因其业务控制协议SIP(Session Initiation Protocol,会话启动协议)协议自身存在一定的安全脆弱性,使得IMS核心网的部署和使用存在一定的障碍。首先在设计SIP协议时,IETF重点考虑的是协议的简单和易用性,对于协议的安全问题考虑不多;其次SIP协议经由Internet进行传输,必然面临着IP网中的各种安全威胁,由于SIP协议是基于文本的协议,使得SIP消息在传输过程中很容易被人拦截进行恶意篡改和模仿并被用来进行一些恶意的攻击,最好的例子就是通过畸形SIP消息进行的恶意攻击[1]。因此,SIP协议的安全防护问题对于IMS核心网而言至关重要。本文致力于研究与实现基于扩展有限状态机的SIP安全防护机制,并将其应用于IMS核心网接入设备SBC(Session Border Center,会话边缘控制器)中实现SBC的信令防护功能。本文使用扩展有限状态机来实现SIP消息的安全检测机制,旨在实现畸形SIP消息、用户注册数/呼叫数、用户注册速率/呼叫速率、DOS攻击等的检测功能,实现SIP安全防护最为重要的一步。对于检测出的非法用户,本文采用iptables对其进行拦截,通过更改iptables源码改变其原本对外提供的命令行使用方式,根据所要实现的具体功能向iptables传送配置数据,iptables将接收到的配置数据转换为功能所对应的规则信息并对规则表进行管理,进而实现对非法用户的拦截与释放等功能。测试结果显示本文实现的基于扩展有限状态机的SIP安全防护机制很好的完成了 SIP的安全防护功能,有效地实现了对非法用户的拦截。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
扩展有限状态机论文参考文献
[1].梁浩然.基于概率扩展有限状态机的统计测试方法研究[D].大连理工大学.2017
[2].刘丹.基于扩展有限状态机的SIP安全防护机制的研究与实现[D].北京邮电大学.2016
[3].周小飞,赵瑞莲,李征.基于多种群遗传算法的可扩展有限状态机测试数据自动生成[J].计算机应用与软件.2015
[4].周小飞.基于多种群遗传算法的可扩展有限有限状态机测试数据生成[D].北京化工大学.2014
[5].杨瑞,陈振宇,张智轶,刘子聪,徐宝文.一种基于扩展有限状态机的自动化测试用例生成方法[J].中国科学:信息科学.2014
[6].江良,赵瑞莲,李征.基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析[J].计算机应用.2013
[7].张兵全.基于扩展有限状态机的LTE一致性测试系统的设计与实现[D].北京邮电大学.2012
[8].任君,赵瑞莲,李征.基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成[J].计算机应用.2011
[9].明小娜.基于扩展有限状态机模型的GIS人机对话模式设计与应用[D].南京师范大学.2011
[10].韩喆,陈世鸿.扩展有限状态机的依赖图构造及切片算法[J].小型微型计算机系统.2011