| 摘要 | 第1-11页 |
| Abstract | 第11-12页 |
| 第一章 绪论 | 第12-17页 |
| §1．1 协议测试的背景与意义 | 第12-13页 |
| §1．2 研究现状 | 第13-15页 |
| §1．3 本文的工作 | 第15页 |
| §1．4 本文组织结构 | 第15-17页 |
| 第二章 域间路由协议健壮性分析与问题 | 第17-41页 |
| §2．1 BGP协议 | 第17-29页 |
| 2．1．1 BGP-4协议行为综述 | 第18-19页 |
| 2．1．2 BGP-4报文格式 | 第19-24页 |
| 2．1．3 BGP一4的路径属性 | 第24-27页 |
| 2．1．4 BGP-4的状态机 | 第27-28页 |
| 2．1．5 BGP-4路由信息处理 | 第28-29页 |
| §2．2 系统健壮性 | 第29-34页 |
| 2．2．1 健壮性的起源与发展 | 第29-30页 |
| 2．2．2 健壮性的定义 | 第30-31页 |
| 2．2．3 软件健壮性技术 | 第31-33页 |
| 2．2．4 系统健壮性的基本要素和工程模型 | 第33-34页 |
| §2．3 域间路由协议的健壮性分析 | 第34-36页 |
| 2．3．1 域间路由系统的特点 | 第34页 |
| 2．3．2 域间路由协议的健壮性 | 第34-35页 |
| 2．3．3 BGP协议健壮性分析 | 第35-36页 |
| §2．4 BGP协议面临的健壮性问题 | 第36-41页 |
| 2．4．1 BGP-4脆弱性分析 | 第37页 |
| 2．4．2 域间路由的安全威胁 | 第37-41页 |
| 第三章 域间路由协议健壮性测试系统总体设计 | 第41-52页 |
| §3．1 协议测试 | 第41-45页 |
| 3．1．1 基本概念 | 第41-42页 |
| 3．1．2 路由协议测试的特点 | 第42-43页 |
| 3．1．3 协议测试基本方法 | 第43-45页 |
| §3．2 域间路由协议健壮性测试 | 第45-49页 |
| 3．2．1 基本概念 | 第45-46页 |
| 3．2．2 健壮性测试的内容 | 第46-48页 |
| 3．2．3 健壮性测试技术发展 | 第48-49页 |
| §3．3 域间路由协议健壮性测试设计方案 | 第49-52页 |
| 3．3．1 性能健壮性测试 | 第50页 |
| 3．3．2 语法健壮性测试 | 第50-52页 |
| 第四章 域间路由协议性能健壮性测试实现 | 第52-65页 |
| §4．1 Zebra简介 | 第52页 |
| §4．2 ANVL测试系统 | 第52-57页 |
| 4．2．1 ANVL系统结构 | 第53-54页 |
| 4．2．2 ANVL与操作系统的接口 | 第54页 |
| 4．2．3 ANVL重要的数据结构 | 第54-57页 |
| §4．3 Robust-BGP-Performance主要功能模块 | 第57-59页 |
| 4．3．1 接口 | 第57页 |
| 4．3．2 报文编码解码器 | 第57-58页 |
| 4．3．3 功能实现 | 第58页 |
| 4．3．4 测试执行 | 第58-59页 |
| §4．4 Robust-BGP-Performance的应用 | 第59-65页 |
| 4．4．1 BGP路由容量测试 | 第59-60页 |
| 4．4．2 BGP路由收敛测试 | 第60-62页 |
| 4．4．3 BGP抖动抑制测试 | 第62-63页 |
| 4．4．4 BGP多宿主测试 | 第63-65页 |
| 第五章 域间路由协议语法健壮性测试实现 | 第65-82页 |
| §5．1 设计思想 | 第65页 |
| §5．2 理论基础 | 第65-69页 |
| 5．2．1 协议规范分析 | 第65-66页 |
| 5．2．2 随机输入技术 | 第66-67页 |
| 5．2．3 错误注入技术 | 第67-69页 |
| §5．3 Robust-BGP-Syntax设计与实现 | 第69-73页 |
| 5．3．1 Robust-BGP-Syntax功能描述 | 第69-70页 |
| 5．3．2 Robust-BGP-Syntax的数据结构 | 第70-71页 |
| 5．3．3 Robust-BGP-Syntax的功能模块 | 第71-73页 |
| §5．3 TCP/IP协议栈基于语法的健壮性测试 | 第73-76页 |
| 5．3．1 TCP/IP协议栈的健壮性 | 第73页 |
| 5．3．2 测试方法 | 第73页 |
| 5．3．3 测试过程 | 第73-75页 |
| 5．3．4 健壮性度量 | 第75-76页 |
| §5．4 BGP协议基于语法的健壮性测试 | 第76-82页 |
| 5．4．1 FSM模型 | 第76页 |
| 5．4．2 测试过程 | 第76-77页 |
| 5．4．3 测试案例 | 第77-79页 |
| 5．4．4 测试实现 | 第79-82页 |
| 第六章 Robust-BGP-Syntax的实际应用 | 第82-87页 |
| §6．1 测试环境配置 | 第82页 |
| §6．2 TCP/IP协议栈测试结果分析 | 第82-83页 |
| §6．3 BGP协议测试结果分析 | 第83-87页 |
| 6．3．1 基于FSM的测试结果分析 | 第84页 |
| 6．3．2 基于语法的测试结果分析 | 第84-87页 |
| 第七章 结束语 | 第87-89页 |
| §7．1 本文的主要成果 | 第87页 |
| §7．2 下一步的工作 | 第87-89页 |
| 致谢 | 第89-90页 |
| 攻读硕士期间论文发表情况 | 第90-91页 |
| 参考文献 | 第91-93页 |
