| 中文摘要 | 第3-4页 |
| 英文摘要 | 第4-5页 |
| 1 绪论 | 第8-14页 |
| 1.1 课题研究背景及意义 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-11页 |
| 1.3 论文研究主要内容 | 第11页 |
| 1.4 论文内容结构安排 | 第11-14页 |
| 2 BGP协议基本原理概述 | 第14-26页 |
| 2.1 BGP协议的特点 | 第15页 |
| 2.2 BGP的路径属性 | 第15-16页 |
| 2.3 BGP协议的选路规则 | 第16页 |
| 2.4 BGP报文帧格式 | 第16-23页 |
| 2.4.1 BGP报文帧头格式 | 第16-17页 |
| 2.4.2 Open报文帧格式 | 第17-18页 |
| 2.4.3 Update报文帧格式 | 第18-21页 |
| 2.4.4 Keepalive报文帧格式 | 第21页 |
| 2.4.5 Notification报文帧格式 | 第21-22页 |
| 2.4.6 Route Refresh报文帧格式 | 第22-23页 |
| 2.5 BGP的有限状态机迁移 | 第23-25页 |
| 2.6 本章小结 | 第25-26页 |
| 3 基于TTCN-3的协议一致性测试技术 | 第26-36页 |
| 3.1 协议一致性测试 | 第26-29页 |
| 3.1.1 协议一致性测试原理 | 第26-28页 |
| 3.1.2 协议一致性测试模型 | 第28-29页 |
| 3.2 TTCN-3测试系统技术特点 | 第29-34页 |
| 3.2.1 TTCN-3测试体系架构与组件 | 第29-31页 |
| 3.2.2 TTCN-3测试系统的文件模块 | 第31-32页 |
| 3.2.3 TTCN-3的通信机制 | 第32-33页 |
| 3.2.4 TTCN-3的定时器与判决机制 | 第33-34页 |
| 3.3 本章小结 | 第34-36页 |
| 4 基于TTCN-3的BGP协议一致性测试套的设计与实现 | 第36-58页 |
| 4.1 基于TTCN-3的BGP协议一致性测试套需求分析 | 第36-38页 |
| 4.2 基于TTCN-3的BGP协议一致性测试套设计流程 | 第38页 |
| 4.3 引用文件的设计 | 第38-44页 |
| 4.3.1 ASN文件设计 | 第38-41页 |
| 4.3.2 模板文件设计 | 第41-42页 |
| 4.3.3 常量文件设计 | 第42页 |
| 4.3.4 函数文件设计 | 第42-44页 |
| 4.4 引用文件导入 | 第44-45页 |
| 4.5 测试套端口配置 | 第45-47页 |
| 4.6 测试例运行控制 | 第47-48页 |
| 4.7 测试用例设计与实现 | 第48-56页 |
| 4.7.1 基本消息处理模块的测试用例 | 第49-52页 |
| 4.7.2 错误信息处理模块的测试用例 | 第52-53页 |
| 4.7.3 路由过滤处理模块的测试用例 | 第53-55页 |
| 4.7.4 能力发送处理模块的测试用例 | 第55-56页 |
| 4.8 本章小结 | 第56-58页 |
| 5 BGP一致性测试套测试验证 | 第58-72页 |
| 5.1 测试环境的搭建 | 第58-59页 |
| 5.2 测试示例验证结果 | 第59-64页 |
| 5.2.1 基本消息处理模块测试用例示例结果 | 第59-60页 |
| 5.2.2 错误信息处理模块测试用例示例结果 | 第60-61页 |
| 5.2.3 路由过滤处理模块测试用例示例结果 | 第61-63页 |
| 5.2.4 能力发送处理模块测试用例示例结果 | 第63-64页 |
| 5.3 验证结果分析 | 第64-70页 |
| 5.4 本章小结 | 第70-72页 |
| 6 总结展望 | 第72-74页 |
| 致谢 | 第74-76页 |
| 参考文献 | 第76-80页 |
| 附录 | 第80-87页 |
| A.BGP协议一致性测试用例清单 | 第80-87页 |
| B.作者在攻读学位期间参加的公司实习项目 | 第87页 |
