清华大学毕业设计论文协议测试是提高协议实现正确性的重要保证被动测试_

《清华大学毕业设计论文协议测试是提高协议实现正确性的重要保证被动测试_》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、摘要协议测试是提高协议实现正确性的重耍保证。被动测试是一种比较新的协议测试概念，木文的主要工作是将被动测试方法应川于协议测试屮。本文介绍了协议的形式化描述丄具：FSM/NFSM/EFSM/CFSM模型，总结了在以上几个模型上做被动测试的现状和遇到的难点问题。本文重点讨论了EFSM模型上被动测试的变量管理问题，总体思路是耍将尽可能多的协议信息记录下来，以发现被测系统屮的错误，同时尽量降低算法复杂度。在此基础上，提出了多个变量管理方法，并对各个方法进行了综合，设计了变量管理的综合算法。删除的内容:在实践方而，设计了与协议无关的被动测试系统的总体框架，该系统具有肚好的通川性和可扩展性。介绍了各个模

2、块的实现，其屮重点介绍了变量管理器。介绍了采用被动测试对BGP和OSPF协议实现的测试情况。对于OSPF屮协议参数的测试体现了变量管理系统的能力，测试结果验证了算法的正确性和有效性。T最后，木文总结了变量管理问题在被动测试屮的意义，提出了被动测试研究的进一步工作方向。关键字▼协议测试被动测试扩展有限状态自动机约束满足问题删除的内容:AbstractProtocoltestingisveryimportanttoguaranteethecorrectnessofprotocolimplementations.PassiveTestingisanewconceptofprotocoltestin

3、ginrecentyears・Inthispaper,wetrytoapplypassivetestingmethodtoroutingprotocoltesting・Weshowseveralformalmodelsforprotocolspecifications:FiniteStateMachine.Non-delerminislicFiniteStaleMachine,ExtendedFiniteStaleMachineandCommunicatingFiniteStateMachine・Theformerworksonpassivetestingonthesemodelsarere

4、viewed.Problemsarealsoraised.OurworkconcentratesintheproblemofvariablemanagementforpassivetestingEFSMmodel.Severalsolutionsindifferentviewsaresuggestedandanalyzed・Anintegratedalgorithmissuggested・WealsoshowtheimplementationofpassivetestingonFSM/NFSM/EFSMmodelswiththeexamplesoftestingBGP/OSPFprotoco

5、ls・Aprotocol-independentpassivetestingarchitectureisintroduced.Eachpartofthesystemisdescribed・Thepartsforvariablemanagementareexplainedindetail.TheexperimentalresultsofthepassivetestingonBGP/OSPFarealsoshownandanalyzed・Finally,theimportanceofthevariablemanagementinpassivetestingissuggested.Andthefu

6、tureworkisalsodescribed.KeywordProtocolTestingPassiveTestingExtendedFiniteStateMachine(EFSM)ConstraintsSatisfactionProblem(CSP)摘要1关键字2Abstract3Keyword4目录5第一章引言71.1.背景71.2.论文章节安排9第二章协议的形式化描述和被动测试的理论概述102.1.协议的形式化描述方法.102.2.协议测试的基木概念.122.3.被动测试13第三章FSM/NFSM被动测试的实验系统及实验结果193.1.FSM/NFSM被动测试系统的结构.193.2.

7、协议数据包的表示和协议包解析.203.3.测试控制器2234采用FSM描述BGP的被动测试实验223.5.釆川NFSM描述OSPF的被动测试实验23第四章EFSM被动测试中变量管理问题的算法研究264.1.区域状态机的思路2642可能变量值的存储274.3.利用条件的“暗示信息”3044适度状态分裂344.5.记录历史3546算法的综合问题36第五章EFSM被动测试的实现405.1.EFSM被动测试系统的结构