路由协议的一致性测试-电子与通信工程专业论文.docxVIP

中国科学技术大学 硕士学位论文 路由协议的一致性测试 姓名：葛猛 申请学位级别：硕士 专业：计算机软件与理论 指导教师：赵保华中陶科学技术人学硕L论空摘要 中陶科学技术人学硕L论空 摘要 考虑到在一个复杂的通信刚络中，多种不同设备的互操作性，我们必须对 网络中的每一个组成部件，根据它们的规范进行一致性测试。随着通信协议的 复杂性不断的增长，根据协议规范对坍议进行一致性测试已经逐渐成为软件产 品开发周期中的一个部分。同时网络的飞速发展引发了Internet结构的改变，路 由协议对网络『F确稳定运行起着重要作用，因而针对路由协议的测试也成为通 信协议测试的研究重点。本论文在研究路由协议的相关文档和规范基础上，深 入研究当前一致性测试技术的不同理论方法，使用不同的测试方法对路由功-议 进行了测试实践，过程中注重不同测试方法过程中的形式化技术的应用，同时， 探讨了多种不同的测试方法之间的比较，提出了更适应于路由协议测试的一致 性测试生成的建议。 论文的主要工作包括以下几个方面： 1)介绍和比较了目前常用的测试序列生成技术的特点，描述了一种基于 UIO序列和中国乡村邮递员问题的测试序列生成方法。 2)使用基于FSM的测试生成方法对边缘网关协议(BGP)进行了测试实践。 并以BGP协议的互连行为状态机为例实践了基于UIO序列和中国乡村邮路算法 生成测试序列的方法。该方法易于自动化实现，能够生成更短的测试序列。 3)在基于测试目的的幼、议一致性测试实践中，结合∞-议测试的特点，选取 BGP4协议进行了协议形式化描述的工作。 4)对比了不同的协议测试方法在路由协议测试中的应用优势，并提出了更 全面的路由协议测试的一致性测试构思。 关键词 路山协议，一致性测试；有限状态机，测试F|的，测试序列 分类号TP393 中困科学技术人学顺{：论史ABSTRACT 中困科学技术人学顺{：论史 ABSTRACT Considering the interconnecting and interoperating between devices of various vendors，we have each component in the complicated communication networks according the protocol specifications．With the growing of complexity of communication protocols，specification based conformance testing is becoming part of software development Cycle．At the same time，the highly expanding computer network results in great change of the of Internet．Routing protocols mostly responsible for the operating and stable running of computer networks， conformance testing of routing protocol becomes the focus of protocol engineering．With routing protocol standards，we make the study of various conformance testing theories and technologies，and applied them the practical work of the conformance testing of routing protoc01．In the application，we highly concerned the of formal methods in description，validation and implementation．At last we compare the advantages of di腩rent testing methods when applied routing protocol testing and make suggestion test generation method better accommodating routing protocols． The main work ofthe paper includes the following aspects： 1) Introduce the features of popula