| 摘要 | 第1-3页 |
| Abstract | 第3-5页 |
| 目录 | 第5-7页 |
| 第一章 引言 | 第7-14页 |
| ·研究的背景 | 第7-8页 |
| ·研究的现状 | 第8-9页 |
| ·研究的意义 | 第9-12页 |
| ·UML状态图的优势 | 第9-11页 |
| ·UML状态图和FSM的比较 | 第11-12页 |
| ·论文结构安排 | 第12-14页 |
| 第二章 协议一致性测试理论 | 第14-25页 |
| ·协议与协议测试 | 第14-16页 |
| ·从测试到协议测试 | 第14-15页 |
| ·协议测试的过程 | 第15-16页 |
| ·协议一致性测试 | 第16-25页 |
| ·协议一致性测试基本概念 | 第16-19页 |
| ·协议一致性测试工作流程 | 第19-20页 |
| ·协议一致性测试—抽象测试方法 | 第20-25页 |
| 第三章 OSPF | 第25-33页 |
| ·一个OSPF典型网络结构 | 第25-26页 |
| ·OSPF的操作过程 | 第26-28页 |
| ·邻居和邻接关系 | 第28-29页 |
| ·OSPF邻居状态机 | 第29-31页 |
| ·LSA类型 | 第31-33页 |
| 第四章 测试用例的生成 | 第33-39页 |
| ·UML状态图 | 第33-36页 |
| ·项目中UML状态图的一些限制 | 第36页 |
| ·标号变迁系统LTS | 第36页 |
| ·UML状态图转换为LTS,并生成测试用例 | 第36-38页 |
| ·LTS图和FSM图的区别 | 第38-39页 |
| 第五章 基于OSPF的协议一致性测试系统的设计及其实现 | 第39-52页 |
| ·OSPF协议的一致性测试方法 | 第39页 |
| ·测试系统的模拟环境 | 第39-40页 |
| ·路由协议OSPF一致性测试系统的设计思想 | 第40页 |
| ·脚本语言 | 第40-43页 |
| ·脚本语言的语法 | 第40-41页 |
| ·脚本实例 | 第41-43页 |
| ·系统框架和模块设计 | 第43-52页 |
| ·系统框架 | 第43-44页 |
| ·Winpcap | 第44-46页 |
| ·底层模块结构 | 第46-48页 |
| ·核心控制模块结构 | 第48-49页 |
| ·脚本解释执行模块 | 第49-50页 |
| ·数据库模块 | 第50页 |
| ·执行过程 | 第50-52页 |
| 第六章 测试过程和测试结果 | 第52-56页 |
| ·开发环境 | 第52页 |
| ·系统界面介绍 | 第52-53页 |
| ·测试举例 | 第53-56页 |
| 第七章 总结和展望 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60页 |