| 第一章 绪论 | 第1-15页 |
| 1．1 研究背景及意义 | 第10页 |
| 1．2 研究现状 | 第10-11页 |
| 1．3．协议测试的基本理论 | 第11-13页 |
| 1．3．1 协议测试的基本概念 | 第12页 |
| 1．3．2 协议测试的类别 | 第12-13页 |
| 1．4．测试方案 | 第13-15页 |
| 1．4．1 测试环境 | 第13页 |
| 1．4．2 抽象测试集和TTCN简介 | 第13-14页 |
| 1．4．3 要完成的工作 | 第14-15页 |
| 第二章 协议测试理论与其研究现状 | 第15-29页 |
| 2．1 协议测试的基本概念 | 第15页 |
| 2．2 协议测试的类别 | 第15-16页 |
| 2．3 协议测试的理论 | 第16-18页 |
| 2．3．1 一致性测试的理论及目的 | 第16-17页 |
| 2．3．2 一致性测试过程 | 第17-18页 |
| 2．3．3 协议互操作性测试 | 第18页 |
| 2．4 抽象测试方法 | 第18-22页 |
| 2．5 抽象测试集和TTCN简介 | 第22-23页 |
| 2．6 协议互操作性测试的研究现状 | 第23-24页 |
| 2．7 协议集成测试系统TTworkbench介绍 | 第24-29页 |
| 2．7．1 TTworkbench的功能 | 第24-25页 |
| 2．7．2 TTworkbench的组件结构 | 第25-27页 |
| 2．7．3 TTworkbench的工作流程简介 | 第27-29页 |
| 第三章 TTCN-3语言介绍 | 第29-36页 |
| 3．1 核心语言和表示格式 | 第31-32页 |
| 3．2 TTCN-3基本语言元素 | 第32-33页 |
| 3．3 类型和值 | 第33页 |
| 3．4 模块 | 第33-34页 |
| 3．5 测试配置 | 第34-36页 |
| 第四章 移动IPv6技术及其测试研究现状 | 第36-53页 |
| 4．1 移动IP技术简介 | 第36-42页 |
| 4．1．1 移动IPv4技术 | 第36-38页 |
| 4．1．2 移动IPv4的局限 | 第38-39页 |
| 4．1．3 移动IPv6对移动IPv4的改进 | 第39-42页 |
| 4．2 移动IPv6的基本概念 | 第42-47页 |
| 4．2．1 移动IPv6的功能实体 | 第42-43页 |
| 4．2．2 绑定(Binding) | 第43页 |
| 4．2．3 移动报头(Mobility Header) | 第43-45页 |
| 4．2．4 新的IPv6目的地址选项 | 第45-46页 |
| 4．2．5 新的路由报头 | 第46-47页 |
| 4．2．6 新的IPv6 ICMP消息 | 第47页 |
| 4．3 移动IPv6工作原理 | 第47-51页 |
| 4．3．1 移动节点在家 | 第47页 |
| 4．3．2 移动节点离开家乡网络 | 第47-49页 |
| 4．3．3 路由优化 | 第49-50页 |
| 4．3．4 路由报头 | 第50页 |
| 4．3．5 动态家乡代理地址发现 | 第50-51页 |
| 4．4 Mobile IPv6协议测试的国际国内研究现状 | 第51-53页 |
| 4．4．1 TAHI项目 | 第51页 |
| 4．4．2 中科院计算所 | 第51-52页 |
| 4．4．3 Go41T项目 | 第52页 |
| 4．4．4 IPv6 Forum | 第52-53页 |
| 第五章 Mobile IPv6协议互操作性测方案 | 第53-61页 |
| 5．1 测试目的分析 | 第53-54页 |
| 5．2 测试要点 | 第54-57页 |
| 5．3 测试方法选择 | 第57-58页 |
| 5．4 实验环境部署 | 第58-61页 |
| 5．4．1 涉及的网络设备 | 第58页 |
| 5．4．2 可用于测试的协议实现 | 第58-61页 |
| 第六章 Mobile IPv6协议互操作性测试集的设计 | 第61-64页 |
| 6．1 测试集的设计思想 | 第61页 |
| 6．2 测试集的组划分 | 第61-63页 |
| 6．3 测试集覆盖度讨论 | 第63-64页 |
| 第七章 测试实践总体设计 | 第64-74页 |
| 7．1 测试选用的协议包 | 第64页 |
| 7．2 测试环境的搭建 | 第64-68页 |
| 7．2．1 安装协议实现 | 第64-65页 |
| 7．2．2 搭建试验场景 | 第65-68页 |
| 7．3 基于TTCN3的互操作性测试系统的框架设计 | 第68-69页 |
| 7．4 测试例的设计 | 第69-73页 |
| 7．5 测试结论 | 第73-74页 |
| 第八章 总结和展望 | 第74-76页 |
| 8．1 论文期间完成的主要工作 | 第74页 |
| 8．2 目前的测试方法和测试系统TTworkbench的能力分析 | 第74-75页 |
| 8．3 对未来研究方向的展望 | 第75-76页 |
| 参考文献 | 第76-77页 |
| 攻读学位期间发表的学术论文目录 | 第77页 |
