| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 引言 | 第9-11页 |
| ·研究背景 | 第9-10页 |
| ·主要工作及论文的组织 | 第10-11页 |
| 第一章 移动 IPV6 协议概述 | 第11-18页 |
| ·移动 IP 的产生 | 第11-12页 |
| ·IPv6 对移动问题的解决 | 第12-17页 |
| ·IPv6 移动解决方案总体介绍 | 第12-13页 |
| ·移动 IPv6 中的术语 | 第13-15页 |
| ·移动 IPv6 定义的数据结构 | 第15-16页 |
| ·移动报头的定义 | 第16-17页 |
| ·移动 IPv6 与移动 IPv4 的比较 | 第17-18页 |
| 第二章 协议一致性测试理论 | 第18-21页 |
| ·一致性测试概念和测试过程 | 第18-19页 |
| ·协议测试对移动 IPv6 协议完善的重要性 | 第19-20页 |
| ·国内外 IPv6 以及移动 IPv6 协议测试研究现状 | 第20-21页 |
| 第三章 移动 IPv6 协议的形式化描述和测试例生成及描述 | 第21-43页 |
| ·移动 IPv6 协议的测试需求 | 第21-22页 |
| ·测试生成技术的定义 | 第22-23页 |
| ·移动 IPv6 协议运行环境中各类节点的形式化描述 | 第23-29页 |
| ·针对移动节点的形式化描述 | 第24-26页 |
| ·针对家乡代理的形式化描述 | 第26-28页 |
| ·针对通信节点的形式化描述 | 第28-29页 |
| ·测试例生成及描述 | 第29-42页 |
| ·抽象测试序列的生成 | 第30-32页 |
| ·移动 IPv6 协议中可执行测试例的生成 | 第32-39页 |
| ·测试例的描述 | 第39-42页 |
| ·小结 | 第42-43页 |
| 第四章 主动测试和被动测试相结合的测试方法 | 第43-54页 |
| ·现有测试方法介绍 | 第43-45页 |
| ·主动测试方法 | 第43-44页 |
| ·被动测试方法 | 第44-45页 |
| ·主动测试方法和被动测试方法在移动 IPv6 测试中的不足 | 第45-48页 |
| ·主动测试方法在移动 IPv6 测试中的不足 | 第45-47页 |
| ·被动测试方法在移动 IPv6 测试中的不足 | 第47-48页 |
| ·主动测试和被动测试相结合的测试方法 | 第48-52页 |
| ·主动测试和被动测试相结合测试方法的描述 | 第48-50页 |
| ·主动测试和被动测试相结合测试方法的应用 | 第50-52页 |
| ·小结 | 第52-54页 |
| 第五章 移动 IPv6 协议的一致性测试实践 | 第54-66页 |
| ·组建移动 IPv6 协议一致性测试实验网 | 第54-58页 |
| ·实验网概述 | 第54-55页 |
| ·移动 IPv6 实验网中软件的安装及其配置 | 第55-57页 |
| ·移动 IPv6 协议运行监测 | 第57-58页 |
| ·移动 IPv6 协议测试系统的设计和实现 | 第58-60页 |
| ·开发环境 | 第58页 |
| ·系统结构及实现 | 第58-60页 |
| ·移动 IPv6 协议测试实验平台 | 第60-61页 |
| ·测试实践 | 第61-65页 |
| ·测试例实例 | 第61-64页 |
| ·测试结论 | 第64-65页 |
| ·小结 | 第65-66页 |
| 第六章 总结及进一步工作 | 第66-68页 |
| ·结论 | 第66-67页 |
| ·进一步工作 | 第67-68页 |
| 参考文献 | 第68-70页 |
| 致谢 | 第70-71页 |
| 攻读硕士期间发表的学术论文 | 第71页 |
