被动测试在bgp_ospf协议上的实现

《被动测试在bgp_ospf协议上的实现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、毕业设计被动测试在BGP_OSPF协议上的实现第61页第61页摘要协议测试是提高协议实现正确性的重要保证。被动测试是一种比较新的协议测试概念，本文的主要工作是将被动测试方法应用于协议测试中。本文介绍了协议的形式化描述工具：FSM/NFSM/EFSM/CFSM模型，总结了在以上几个模型上做被动测试的现状和遇到的难点问题。本文重点讨论了EFSM模型上被动测试的变量管理问题，总体思路是要将尽可能多的协议信息记录下来，以发现被测系统中的错误，同时尽量降低算法复杂度。在此基础上，提出了多个变量管理方法，并对各个方法进行了综合，设计了变量管理的综

2、合算法。在实践方面，设计了与协议无关的被动测试系统的总体框架，该系统具有良好的通用性和可扩展性。介绍了各个模块的实现，其中重点介绍了变量管理器。介绍了采用被动测试对BGP和OSPF协议实现的测试情况。对于OSPF中协议参数的测试体现了变量管理系统的能力，测试结果验证了算法的正确性和有效性。最后，本文总结了变量管理问题在被动测试中的意义，提出了被动测试研究的进一步工作方向。关键字协议测试被动测试扩展有限状态自动机约束满足问题第61页AbstractProtocoltestingisveryimportanttoguaranteethec

3、orrectnessofprotocolimplementations.PassiveTestingisanewconceptofprotocoltestinginrecentyears.Inthispaper,wetrytoapplypassivetestingmethodtoroutingprotocoltesting.Weshowseveralformalmodelsforprotocolspecifications:FiniteStateMachine,Non-deterministicFiniteStateMachine,E

4、xtendedFiniteStateMachineandCommunicatingFiniteStateMachine.Theformerworksonpassivetestingonthesemodelsarereviewed.Problemsarealsoraised.OurworkconcentratesintheproblemofvariablemanagementforpassivetestingEFSMmodel.Severalsolutionsindifferentviewsaresuggestedandanalyzed

5、.Anintegratedalgorithmissuggested.WealsoshowtheimplementationofpassivetestingonFSM/NFSM/EFSMmodelswiththeexamplesoftestingBGP/OSPFprotocols.Aprotocol-independentpassivetestingarchitectureisintroduced.Eachpartofthesystemisdescribed.Thepartsforvariablemanagementareexplain

6、edindetail.TheexperimentalresultsofthepassivetestingonBGP/OSPFarealsoshownandanalyzed.Finally,theimportanceofthevariablemanagementinpassivetestingissuggested.Andthefutureworkisalsodescribed.KeywordProtocolTestingPassiveTestingExtendedFiniteStateMachine(EFSM)ConstraintsS

7、atisfactionProblem(CSP)第61页目录摘要1关键字1Abstract2Keyword2目录3第一章引言51.1.背景51.2.论文章节安排6第二章协议的形式化描述和被动测试的理论概述72.1.协议的形式化描述方法72.2.协议测试的基本概念82.3.被动测试9第三章FSM/NFSM被动测试的实验系统及实验结果133.1.FSM/NFSM被动测试系统的结构133.2.协议数据包的表示和协议包解析143.3.测试控制器153.4.采用FSM描述BGP的被动测试实验153.5.采用NFSM描述OSPF的被动测试实验16第

8、四章EFSM被动测试中变量管理问题的算法研究184.1.区域状态机的思路184.2.可能变量值的存储184.3.利用条件的“暗示信息”214.4.适度状态分裂244.5.记录历史244.6.算法的综合问题25第五章EFS