| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| 图表索引 | 第9-11页 |
| 第一章 绪论 | 第11-13页 |
| ·研究背景 | 第11页 |
| ·研究目标和主要工作 | 第11-12页 |
| ·本文中涉及的标准、开发工具及技术 | 第12-13页 |
| 第二章 路由协议一致性测试 | 第13-18页 |
| ·路由协议测试概述 | 第13-15页 |
| ·路由协议特点 | 第13页 |
| ·路由协议测试内容 | 第13-14页 |
| ·路由协议的测试方法与手段 | 第14-15页 |
| ·协议一致性测试 | 第15-18页 |
| ·一致性测试概论 | 第15-16页 |
| ·一致性测试过程 | 第16-17页 |
| ·一致性测试方法 | 第17-18页 |
| 第三章 理论基础 | 第18-22页 |
| ·形式描述语言 | 第18-19页 |
| ·测试套描述语言TTCN-3 | 第19-21页 |
| ·TTCN-3核心语言 | 第20-21页 |
| ·测试例自动生成工具PATSAG | 第21-22页 |
| 第四章 IS-IS路由协议 | 第22-28页 |
| ·IS-IS协议概述 | 第22页 |
| ·IS-IS协议报文 | 第22-24页 |
| ·IS-IS协议内部机理 | 第24-26页 |
| ·IS-IS路由转发决策 | 第26-28页 |
| 第五章 IS-IS路由协议测试例的生成 | 第28-40页 |
| ·IS-IS的E-LOTOS描述 | 第28-34页 |
| ·IS-IS路由协议广播网络邻接关系状态机模块描述 | 第28-30页 |
| ·状态、输入/输出事件的E-LOTOS描述 | 第30-31页 |
| ·过程及函数描述 | 第31-34页 |
| ·IS-IS路由协议一致性测试例的生成 | 第34-38页 |
| ·测试例分类及生成方式概述 | 第34页 |
| ·广播网络下IS-IS路由协议测试例的生成 | 第34-38页 |
| ·点到点网络下IS-IS路由协议测试例的生成 | 第38-40页 |
| 第六章 IS-IS路由协议的一致性测试 | 第40-49页 |
| ·测试方法的选择 | 第40页 |
| ·测试环境的实现 | 第40-41页 |
| ·IS-IS路由协议一致性测试过程 | 第41-48页 |
| ·IS-IS路由协议一致性测试结果 | 第48-49页 |
| 第七章 结论与展望 | 第49-51页 |
| ·结论 | 第49页 |
| ·展望 | 第49-51页 |
| 参考文献 | 第51-53页 |
| 附录1 IS-IS广播网络邻接关系状态机的E-LOTOS完整描述 | 第53-56页 |
| 致谢 | 第56页 |