边界网关协议BGP4+的互操作性测试研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 引言 | 第9-11页 |
| 第一章 边界网关协议BGP概述 | 第11-19页 |
| ·路由协议概述 | 第11-12页 |
| ·BGP协议概述 | 第12-15页 |
| ·BGP的功能 | 第13页 |
| ·BGP路由 | 第13-14页 |
| ·BGP报文 | 第14-15页 |
| ·BGP4+协议 | 第15页 |
| ·BGP4+协议的工作过程 | 第15-19页 |
| 第二章 互操作性测试理论 | 第19-27页 |
| ·协议测试基本概念 | 第19-20页 |
| ·互操作性测试的研究现状 | 第20-22页 |
| ·互操作性测试理论 | 第22-27页 |
| ·互操作性测试的必要性 | 第22页 |
| ·互操作性测试的分类 | 第22-23页 |
| ·互操作性测试和一致性测试的关系 | 第23-25页 |
| ·互操作性测试和一致性测试的区别和联系 | 第25-27页 |
| ·互操作性测试和一致性测试的区别 | 第25-26页 |
| ·互操作性测试和一致性性测试的联系 | 第26-27页 |
| 第三章 互操作性测试生成的形式化技术 | 第27-35页 |
| ·互操作性测试的形式化定义 | 第27-28页 |
| ·互操作性测试体系结构 | 第28-30页 |
| ·输入输出有限状态机 | 第30页 |
| ·组合的输入输出有限状态机 | 第30-33页 |
| ·互操作性测试抽象测试套的生成算法 | 第33-35页 |
| 第四章 BGP4+互操作测试套的生成 | 第35-45页 |
| ·BGP4+互操作性测试的测试重点 | 第35-36页 |
| ·BGP4+协议的FSM | 第36-42页 |
| ·生成BGP4+互操作测试套 | 第42-44页 |
| ·小结 | 第44-45页 |
| 第五章 BGP4+协议的互操作性测试实践 | 第45-56页 |
| ·搭建BGP4+互操作测试实验环境 | 第45-46页 |
| ·BGP4+协议实现的介绍 | 第45页 |
| ·BGP4+互操作性测试环境 | 第45-46页 |
| ·互操作性测试工具的实现 | 第46-51页 |
| ·开发环境 | 第47页 |
| ·互操作性测试工具的体系结构 | 第47-48页 |
| ·互操作性测试工具的设计与实现 | 第48-51页 |
| ·测试套编辑模块 | 第48-49页 |
| ·互操作性测试工具执行模块 | 第49-50页 |
| ·日志文件 | 第50-51页 |
| ·互操作性测试工具的特点 | 第51页 |
| ·BGP4+互操作性测试实验举例 | 第51-55页 |
| ·BGP4+互操作性测试报告 | 第55-56页 |
| 第六章 总结以及进一步的工作 | 第56-58页 |
| ·总结 | 第56-57页 |
| ·进一步工作 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 附录 XML表示的BGP4+测试套模板 | 第60-62页 |
| 致谢 | 第62-63页 |
| 攻读硕士期间发表的学术论文 | 第63页 |
