| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 0.引言 | 第10-12页 |
| ·研究背景 | 第10-11页 |
| ·DHCPv6协议测试研究现状 | 第10页 |
| ·本文的研究背景 | 第10-11页 |
| ·本文结构安排 | 第11-12页 |
| 第一章 DHCPv6协议概述 | 第12-33页 |
| ·DHCPv6协议发展 | 第12页 |
| ·常用术语 | 第12-14页 |
| ·消息类型 | 第14-15页 |
| ·包格式 | 第15-17页 |
| ·客户/服务器消息格式 | 第15-16页 |
| ·中继代理/服务器消息格式 | 第16-17页 |
| ·DHCP Options的格式 | 第17页 |
| ·地址和端口 | 第17-18页 |
| ·多播地址 | 第17页 |
| ·UDP端口 | 第17-18页 |
| ·工作过程 | 第18页 |
| ·两消息的客户-服务器交换 | 第18页 |
| ·四消息的客户-服务器交换 | 第18页 |
| ·DHCPv6的可选项 | 第18-31页 |
| ·客户标识符选项 | 第19页 |
| ·服务器标识符选项 | 第19-20页 |
| ·非临时地址标识符关联选项 | 第20-21页 |
| ·临时地址标识符关联选项 | 第21页 |
| ·IA地址选项 | 第21-22页 |
| ·选项请求选项 | 第22-23页 |
| ·优先级选项 | 第23页 |
| ·流逝时间选项 | 第23-24页 |
| ·中继消息选项 | 第24页 |
| ·验证选项 | 第24-25页 |
| ·服务器单播选项 | 第25-26页 |
| ·状态码可选项 | 第26页 |
| ·快速提交选项 | 第26-27页 |
| ·用户类选项 | 第27页 |
| ·厂商类选项 | 第27-28页 |
| ·指定厂商信息选项 | 第28-29页 |
| ·接口ID选项 | 第29-30页 |
| ·重配置消息选项 | 第30页 |
| ·重配置接受选项 | 第30-31页 |
| ·IPv6地址自动配置与DHCPv6的比较 | 第31-33页 |
| 第二章 协议互操作测试与TTCN-3 | 第33-38页 |
| ·协议互操作测试 | 第33-34页 |
| ·协议测试的类型 | 第33页 |
| ·DHCPv6协议的测试研究状况及必要性 | 第33-34页 |
| ·TTCN-3简介 | 第34-38页 |
| ·TTCN-3结构概述 | 第34-36页 |
| ·TTCN-3的语言特点 | 第36页 |
| ·TTCN-3描述的测试例结构举例 | 第36-38页 |
| 第三章 DHCPv6协议的建模和互操作测试例的生成及描述 | 第38-53页 |
| ·DHCPv6的形式化描述 | 第38-46页 |
| ·形式化描述工具简介 | 第38-39页 |
| ·DHCPv6客户行为的Petri网描述 | 第39-46页 |
| ·互操作测试例的生成 | 第46-50页 |
| ·可达树算法 | 第46-47页 |
| ·测试序列提取 | 第47-50页 |
| ·互操作测试例的描述 | 第50-53页 |
| 第四章 基于TTCN-3的测试系统结构及实现 | 第53-62页 |
| ·TTCN-3测试系统功能结构 | 第53-54页 |
| ·DHCPv6测试中编解码器的实现 | 第54-57页 |
| ·TTCN-3测试系统中编解码器的工作流程 | 第54-55页 |
| ·DHCPv6测试系统中编解码器的算法 | 第55-57页 |
| ·DHCPv6测试中TRI的实现 | 第57-62页 |
| ·TRI基本函数 | 第57-60页 |
| ·DHCPv6测试系统的TRI实现 | 第60-62页 |
| 第五章 测试实验及结果 | 第62-69页 |
| ·测试环境的搭建 | 第62-66页 |
| ·DHCPv6互操作测试实验网概述 | 第62-63页 |
| ·DHCPv6互操作测试软件的配置 | 第63-64页 |
| ·DHCPv6互操作测试系统运行情况 | 第64-66页 |
| ·测试系统的设计和实现 | 第66-69页 |
| ·系统结构 | 第66页 |
| ·测试实践 | 第66-69页 |
| 第六章 结论及下一步工作 | 第69-71页 |
| ·结论 | 第69页 |
| ·进一步工作 | 第69-71页 |
| 参考文献 | 第71-73页 |
| 致谢 | 第73-74页 |
| 攻读学位期间发表的学术论文目录 | 第74页 |