论文目录 | |
| 摘要 | 第10-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
页 |
