路由协议一致性测试平台研究与实现
| 第一章 引言 | 第1-13页 |
| ·课题研究背景 | 第9-10页 |
| ·课题研究的意义 | 第10-11页 |
| ·论文主要工作 | 第11-12页 |
| ·论文结构 | 第12-13页 |
| 第二章 协议一致性测试技术 | 第13-22页 |
| ·协议一致性测试基本概念 | 第13-14页 |
| ·协议一致性测试过程 | 第14-15页 |
| ·协议一致性抽象测试方法 | 第15-20页 |
| ·抽象测试方法概念 | 第15-17页 |
| ·抽象测试方法 | 第17-19页 |
| ·改进的测试方法——虚拟远程测试法 | 第19-20页 |
| ·协议一致性测试集结构 | 第20-22页 |
| 第三章 协议的形式化描述 | 第22-37页 |
| ·协议形式化方法 | 第22-24页 |
| ·LOTOS | 第23页 |
| ·Estelle | 第23页 |
| ·SDL | 第23-24页 |
| ·路由协议的形式化描述 | 第24-33页 |
| ·OSPF协议介绍 | 第25页 |
| ·路由协议的有限状态机模型 | 第25-27页 |
| ·从FSM生成SDL模型的方法 | 第27-29页 |
| ·用SDL描述OSPF协议 | 第29-33页 |
| ·用MSC描述OSPF | 第33页 |
| ·测试集的描述语言 | 第33-37页 |
| ·TTCN | 第34-35页 |
| ·扩展TCL语言 | 第35-36页 |
| ·TTCN和扩展TCL语言的比较 | 第36-37页 |
| 第四章 路由协议一致性测试平台 | 第37-46页 |
| ·路由协议一致性测试系统环境 | 第38-39页 |
| ·路由协议一致性测试平台结构 | 第39-40页 |
| ·图形界面 | 第40-41页 |
| ·支持模块 | 第41-42页 |
| ·解释执行模块 | 第42-46页 |
| 第五章 路由协议测试与分析 | 第46-56页 |
| ·路由协议测试流程 | 第46-47页 |
| ·OSPF协议测试 | 第47-51页 |
| ·测试配置及测试结果 | 第47-50页 |
| ·测试实例 | 第50-51页 |
| ·BGP协议测试 | 第51-56页 |
| ·测试配置及测试结果 | 第51-54页 |
| ·BGP测试实例 | 第54-56页 |
| 第六章 结束语 | 第56-58页 |
| ·论文总结 | 第56-57页 |
| ·展望 | 第57-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61页 |
