BGP4+基于策略的互操作性测试研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 引言 | 第11-13页 |
| 第一章 协议测试 | 第13-21页 |
| ·协议概述 | 第13-14页 |
| ·协议测试基本概念 | 第14-15页 |
| ·一致性测试与互操作性测试 | 第15-16页 |
| ·一致性测试与互操作性测试的区别 | 第15-16页 |
| ·互操作性测试的必要性 | 第16页 |
| ·研究机构的测试工作 | 第16-18页 |
| ·科研组织具体的测试工作 | 第16-17页 |
| ·相关的理论研究工作 | 第17-18页 |
| ·Internet的结构 | 第18-20页 |
| ·关于路由协议测试的思考 | 第20-21页 |
| 第二章 协议的互操作性测试方法 | 第21-33页 |
| ·互操作性测试架构 | 第21页 |
| ·互操作性测试体系结构 | 第21-22页 |
| ·有限状态机 | 第22-23页 |
| ·基于有限状态机的多激励模型 | 第23-24页 |
| ·组合的有限状态机实例模型和可达图 | 第24-27页 |
| ·测试生成 | 第27-33页 |
| ·基本方法 | 第27-28页 |
| ·基本思路 | 第28-30页 |
| ·测试序列生成 | 第30-33页 |
| 第三章 边界网关协议BGP协议概述 | 第33-41页 |
| ·BGP协议概述 | 第33-39页 |
| ·BGP协议的功能 | 第33-34页 |
| ·BGP4报文 | 第34-35页 |
| ·BGP4协议的工作过程 | 第35-36页 |
| ·BGP4+协议 | 第36-39页 |
| ·BGP4的策略路由 | 第39-41页 |
| ·BGP4的路由信息库 | 第39页 |
| ·决策过程 | 第39-41页 |
| 第四章 BGP4+测试生成 | 第41-53页 |
| ·BGP4+基于FSM的测试 | 第41-46页 |
| ·BGP4+FSM的描述 | 第41-45页 |
| ·BGP4+基于FSM的测试生成 | 第45-46页 |
| ·BGP4+策略路由的测试 | 第46-53页 |
| 第五章 BGP4+集成测试工具 | 第53-64页 |
| ·互操作性测试的实践环境 | 第53-54页 |
| ·协议实现介绍 | 第53页 |
| ·实验环境 | 第53-54页 |
| ·集成测试工具的设计与实现 | 第54-58页 |
| ·编辑模块的设计 | 第55-56页 |
| ·执行模块的设计 | 第56-57页 |
| ·日志模块的设计 | 第57页 |
| ·测试工具的特点 | 第57-58页 |
| ·BGP4+互操作性测试具体实践 | 第58-64页 |
| ·基于BGP4+的FSM的互操作性测试 | 第58-59页 |
| ·路由策略的测试 | 第59-61页 |
| ·BGP4+路由协议实现互操作性测试报告 | 第61-64页 |
| 第六章 总结和以及进一步的工作 | 第64-66页 |
| ·工作总结 | 第64-65页 |
| ·下一步工作 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69页 |
