| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-10页 |
| 第一章 引言 | 第10-13页 |
| ·课题研究背景 | 第10-11页 |
| ·课题研究内容与贡献 | 第11页 |
| ·论文章节安排 | 第11-13页 |
| 第二章 研究背景 | 第13-21页 |
| ·协议测试 | 第13-16页 |
| ·协议测试概述 | 第13-14页 |
| ·协议测试分类 | 第14-15页 |
| ·一致性测试现状 | 第15页 |
| ·一致性测试过程 | 第15-16页 |
| ·TTCN-3 | 第16-18页 |
| ·TTCN-3简介 | 第16-17页 |
| ·TTCN-3测试套结构 | 第17-18页 |
| ·IBM Rational System Tester工具简介 | 第18-19页 |
| ·过渡技术简介 | 第19-21页 |
| 第三章 ISATAP协议一致性测试工具测试套设计与实现 | 第21-37页 |
| ·ISATAP协议简介 | 第21-24页 |
| ·ISATAP基本原理及通信 | 第21-22页 |
| ·ISATAP地址转换 | 第22-24页 |
| ·一致性测试套的设计原理 | 第24-27页 |
| ·一致性测试套的设计场景 | 第27-29页 |
| ·路由器为被测点 | 第28页 |
| ·主机为被测点 | 第28-29页 |
| ·一致性测试套公共数据库的设计与实现 | 第29-37页 |
| ·定义IPv6报头 | 第29-32页 |
| ·IPv6数据包结构 | 第30-31页 |
| ·IPv6报头的TTCN3定义 | 第31-32页 |
| ·定义ICMPv6报头 | 第32-35页 |
| ·ICMPv6数据包结构 | 第32-33页 |
| ·ICMPv6报头的TTCN3定义 | 第33-35页 |
| ·定义节点信息 | 第35-37页 |
| 第四章 ISATAP测试工具编解码器设计与实现 | 第37-54页 |
| ·编解码器的总体设计 | 第37-39页 |
| ·编解码器系统 | 第39-52页 |
| ·CODEC模块 | 第39-40页 |
| ·BOOLEAN模块 | 第40-41页 |
| ·INTERGER模块 | 第41-44页 |
| ·BITSTRING模块 | 第44-45页 |
| ·OCTETSTRING模块 | 第45-47页 |
| ·CHARSTRING模块 | 第47-49页 |
| ·RECORD模块 | 第49-52页 |
| ·编码数据格式转换举例 | 第52-54页 |
| 第五章 ISATAP协议一致性测试工具适配器设计与实现 | 第54-61页 |
| ·整体架构图 | 第54-55页 |
| ·适配器系统设计 | 第55-59页 |
| ·SAReset模块 | 第55-56页 |
| ·Map模块 | 第56-57页 |
| ·Send模块 | 第57页 |
| ·Socket_reader模块 | 第57-58页 |
| ·End模块 | 第58-59页 |
| ·基于套接字的适配器设计 | 第59-61页 |
| 第六章 测试工具验证与结果展示 | 第61-72页 |
| ·测试环境搭建 | 第61-65页 |
| ·ISATAP主机配置 | 第61-63页 |
| ·ISATAP测试工具配置 | 第63-65页 |
| ·结果验证 | 第65-72页 |
| ·报头内容一致性测试结果分析 | 第65-67页 |
| ·报文长度一致性测试结果分析 | 第67-69页 |
| ·地址翻译一致性测试结果分析 | 第69-72页 |
| 第七章 结束语 | 第72-74页 |
| ·主要工作内容 | 第72页 |
| ·工作展望 | 第72-74页 |
| 参考文献 | 第74-76页 |
| 致谢 | 第76-77页 |
| 攻读学位期间发表的学术论文 | 第77页 |
