| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 第一章 引言 | 第12-18页 |
| ·研究背景 | 第12页 |
| ·研究现状 | 第12-16页 |
| ·IPv6发展 | 第12-14页 |
| ·互操作性测试发展现状 | 第14-15页 |
| ·OSPF发展现状 | 第15-16页 |
| ·研究工作 | 第16-17页 |
| ·论文结构 | 第17-18页 |
| 第二章 支持IPv6的内部网关协议OSPFv3协议 | 第18-23页 |
| ·OSPF协议概述 | 第18页 |
| ·OSPF协议工作原理 | 第18-20页 |
| ·OSPF最新发展 | 第20-21页 |
| ·RFC5340与RFC2740的差异 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 网络协议测试一般理论方法 | 第23-33页 |
| ·协议测试技术介绍 | 第23-24页 |
| ·协议一致性测试与互操作性测试技术 | 第24-27页 |
| ·协议一致性测试技术 | 第25页 |
| ·协议互操作性测试技术 | 第25-27页 |
| ·协议一致性测试与互操作性测试的比较 | 第27页 |
| ·协议互操作性测试的研究现状及讨论 | 第27-32页 |
| ·协议互操作性测试形式化技术 | 第28页 |
| ·协议互操作性测试框架结构 | 第28-31页 |
| ·关于OSPFv3协议互操作性测试方法的讨论 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 OSPFv3协议互操作Petri网模型的建立 | 第33-60页 |
| ·Petri网系统概述 | 第33-36页 |
| ·Petri网建模的优越性 | 第33-34页 |
| ·Petri网及相关概念 | 第34-35页 |
| ·Petri网的应用 | 第35-36页 |
| ·OSPFv3协议互操作Petri网模型的建立 | 第36-59页 |
| ·FSM有限状态机模型到Petri网模型的转化方法 | 第36-37页 |
| ·单个OSPFv3协议实现FSM有限状态机模型的建立 | 第37-42页 |
| ·单个OSPFv3协议实现Petri模型的建立 | 第42-45页 |
| ·扩展Petri网图形表示 | 第45-47页 |
| ·OSPFv3协议互操作Petri模型的建立 | 第47-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 OSPFv3协议互操作性测试的生成 | 第60-65页 |
| ·互操作性测试生成基本思想 | 第60-61页 |
| ·分析Petri网的性质的工具-可达图 | 第61-62页 |
| ·Petri网的相关性质 | 第61页 |
| ·可达图的概念和算法 | 第61-62页 |
| ·基于Petri网的OSPFv3协议互操作性测试生成 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第六章 OSPFv3协议互操作性测试 | 第65-70页 |
| ·OSPFv3协议互操作性测试环境的搭建 | 第65-66页 |
| ·互操作性测试架构选择 | 第65页 |
| ·测试环境中的软硬件 | 第65-66页 |
| ·搭建测试平台 | 第66页 |
| ·实施OSPFv3协议互操作性测试 | 第66-69页 |
| ·测试例的比较分析 | 第66-68页 |
| ·测试举例 | 第68-69页 |
| ·测试报告 | 第69页 |
| ·本章小结 | 第69-70页 |
| 第七章 结论和进一步工作 | 第70-73页 |
| ·论文工作总结 | 第70-71页 |
| ·进一步的研究工作 | 第71-73页 |
| 参考文献 | 第73-76页 |
| 附录1 OSPFv3协议互操作Petri网可达图 | 第76-79页 |
| 致谢 | 第79-80页 |
| 攻读硕士期间发表的学术论文 | 第80页 |
