| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-13页 |
| ·课题研究背景及意义 | 第10-11页 |
| ·研究内容及创新点 | 第11页 |
| ·论文章节安排 | 第11-13页 |
| 第二章 协议一致性测试理论与研究背景 | 第13-22页 |
| ·协议测试的概念及类别 | 第13-14页 |
| ·一致性测试理论 | 第14-16页 |
| ·一致性测试的概念 | 第14-15页 |
| ·一致性测试的过程 | 第15-16页 |
| ·协议一致性测试现状 | 第16页 |
| ·测试生成技术 | 第16-22页 |
| ·基于状态机模型的测试生成 | 第16-19页 |
| ·基于有限状态机模型 | 第17-18页 |
| ·基于扩展有限状态机模型 | 第18页 |
| ·基于确定有限状态机模型 | 第18-19页 |
| ·基于形式描述技术的测试生成 | 第19-21页 |
| ·基于SDL和MSC的测试生成 | 第19-20页 |
| ·基于LOTOS的测试生成 | 第20页 |
| ·基于Estelle的测试生成 | 第20-21页 |
| ·基于外部行为描述EBE的测试生成 | 第21-22页 |
| 第三章 TTCN-3简介 | 第22-28页 |
| ·TTCN-3语言发展与现状 | 第22-23页 |
| ·TTCN-3语言概述 | 第23-26页 |
| ·模块 | 第23-24页 |
| ·数据类型 | 第24页 |
| ·测试配置 | 第24-25页 |
| ·动态行为描述 | 第25-26页 |
| ·基于TTCN-3的TTworkbench测试系统简介 | 第26-28页 |
| 第四章 移动IPv6协议简介及一致性测试需求 | 第28-34页 |
| ·移动IPv6协议概述 | 第28-30页 |
| ·移动IPv6组成 | 第28-29页 |
| ·移动IPv6基本操作 | 第29-30页 |
| ·总体数据结构 | 第30页 |
| ·移动IPv6与移动IPv4的比较 | 第30页 |
| ·移动IPv6协议一致性测试现状 | 第30-31页 |
| ·移动IPv6协议一致性测试需求 | 第31-34页 |
| ·家乡代理的测试需求 | 第32页 |
| ·移动节点的测试需求 | 第32-33页 |
| ·通信对端的测试需求 | 第33-34页 |
| 第五章 基于TTCN-3的移动IPv6一致性测试方案 | 第34-39页 |
| ·一致性测试方法与结构 | 第34-36页 |
| ·一致性测试方法 | 第34-35页 |
| ·一致性测试系统结构 | 第35-36页 |
| ·一致性测试实验环境搭建 | 第36-37页 |
| ·移动IPv6一致性测试难点分析 | 第37-39页 |
| 第六章 基于TTCN-3的移动IPv6一致性测试套设计与实现 | 第39-73页 |
| ·一致性测试套的设计思想 | 第39-40页 |
| ·针对三个节点类型的形式化描述 | 第40-45页 |
| ·家乡代理的形式化描述 | 第41-42页 |
| ·移动节点的形式化描述 | 第42-44页 |
| ·通信对端的形式化描述 | 第44-45页 |
| ·生成测试序列 | 第45-46页 |
| ·一致性测试套的设计与实现 | 第46-72页 |
| ·设计与实现公共数据库 | 第46-57页 |
| ·定义IPv6报头 | 第47-49页 |
| ·定义移动IPv6数据包 | 第49-55页 |
| ·定义节点信息 | 第55-56页 |
| ·定义自动配置信息 | 第56-57页 |
| ·校验和的计算 | 第57页 |
| ·设计与实现家乡代理测试套 | 第57-62页 |
| ·设计思路 | 第57-58页 |
| ·测试套示例 | 第58-62页 |
| ·设计与实现移动节点测试套 | 第62-67页 |
| ·设计思路 | 第62-63页 |
| ·测试套示例 | 第63-67页 |
| ·设计与实现通信对端测试套 | 第67-72页 |
| ·设计思路 | 第67页 |
| ·测试套示例 | 第67-72页 |
| ·一致性测试集覆盖度的说明 | 第72-73页 |
| 第七章 移动IPv6一致性测试结果 | 第73-81页 |
| ·家乡代理一致性测试结果 | 第73-76页 |
| ·成功测试例示例 | 第73-75页 |
| ·失败测试例示例 | 第75-76页 |
| ·移动节点一致性测试结果 | 第76-78页 |
| ·成功测试例示例 | 第76-77页 |
| ·失败测试例示例 | 第77-78页 |
| ·通信对端节点一致性测试结果 | 第78-81页 |
| ·成功测试例示例 | 第78-79页 |
| ·失败测试例示例 | 第79-81页 |
| 第八章 结束语 | 第81-83页 |
| ·主要工作内容 | 第81页 |
| ·工作展望 | 第81-83页 |
| 参考文献 | 第83-85页 |
| 致谢 | 第85-86页 |
| 攻读学位期间发表的学术论文目录 | 第86页 |
