BGP4+基于策略的互操作性测试研究

论文摘要

随着互联网的迅速发展,高效稳定的路由协议成为保障网络性能的重要因素,协议测试理论和测试方法的研究也日益显得重要。协议一致性测试和互操作性测试是协议实现能够在实际环境中正确互连互通的重要保障。我们的工作主要针对互操作性测试展开,包括以下两个部分:第一:理论研究工作。总结分析了互操作性测试和一致性测试的相互关系,指出对协议实现进行互操作性测试的必要性。针对BGP4路由协议的特点,将测试分为基于有限状态机测试和达到稳定状态后路由选择策略的测试。有限状态机可以描述路由协议的基本行为,基于它我们给出自己的互操作性测试推导方法,生成了部分测试序列。对于路由选择策略的部分,详细研读了BGP4及BGP4+的最新说明,并参考一些互操作性测试相关资料来抽取测试例。第二:测试实践工作。根据自己推导的测试目的和选定的测试架构的需要,开发了互操作性测试工具,这样可以适应某些特殊的测试例。同时对BGP4+协议的不同的实现,根据具体的测试目的和测试设计,进行了一些互操作性测试实验,针对BGP4+的策略部分进行了互操作性测试设计与实施,并且给出了测试报告。

论文目录

• 摘要
• ABSTRACT
• 引言
• 第一章 协议测试
• 1.1 协议概述
• 1.2 协议测试基本概念
• 1.3 一致性测试与互操作性测试
• 1.3.1 一致性测试与互操作性测试的区别
• 1.3.2 互操作性测试的必要性
• 1.4 研究机构的测试工作
• 1.4.1 科研组织具体的测试工作
• 1.4.2 相关的理论研究工作
• 1.5 Internet的结构
• 1.6 关于路由协议测试的思考
• 第二章 协议的互操作性测试方法
• 2.1 互操作性测试架构
• 2.2 互操作性测试体系结构
• 2.3 有限状态机
• 2.4 基于有限状态机的多激励模型
• 2.5 组合的有限状态机实例模型和可达图
• 2.6 测试生成
• 2.6.1 基本方法
• 2.6.2 基本思路
• 2.6.3 测试序列生成
• 第三章 边界网关协议BGP协议概述
• 3.1 BGP协议概述
• 3.1.1 BGP协议的功能
• 3.1.2 BGP4报文
• 3.1.3 BGP4协议的工作过程
• 3.1.4 BGP4+协议
• 3.2 BGP4的策略路由
• 3.2.1 BGP4的路由信息库
• 3.2.2 决策过程
• 第四章 BGP4+测试生成
• 4.1 BGP4+基于FSM的测试
• 4.1.1 BGP4+FSM的描述
• 4.1.2 BGP4+基于FSM的测试生成
• 4.2 BGP4+策略路由的测试
• 第五章 BGP4+集成测试工具
• 5.1 互操作性测试的实践环境
• 5.1.1 协议实现介绍
• 5.1.2 实验环境
• 5.2 集成测试工具的设计与实现
• 5.2.1 编辑模块的设计
• 5.2.2 执行模块的设计
• 5.2.3 日志模块的设计
• 5.2.4 测试工具的特点
• 5.3 BGP4+互操作性测试具体实践
• 5.3.1 基于BGP4+的FSM的互操作性测试
• 5.3.2 路由策略的测试
• 5.3.3 BGP4+路由协议实现互操作性测试报告
• 第六章 总结和以及进一步的工作
• 6.1 工作总结
• 6.2 下一步工作
• 参考文献
• 致谢