| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第一章 引言 | 第13-23页 |
| ·IPv6 协议的重要性 | 第13-15页 |
| ·开展IPv6 协议一致性测试研究及构建测试平台的意义 | 第15-17页 |
| ·本论文的创新性和主要工作概述 | 第17-21页 |
| ·论文的整体结构和章节安排 | 第21-23页 |
| 第二章 下一代 Internet 协议 IPv6 | 第23-42页 |
| ·IP 协议发展 | 第23-24页 |
| ·目前Internet 协议IPv4 的困境 | 第24-27页 |
| ·IPv6 的特点 | 第27-33页 |
| ·简化的报头和灵活的扩展 | 第27-28页 |
| ·层次化的地址结构 | 第28-29页 |
| ·即插即用的连网方式 | 第29-30页 |
| ·网络层的认证与加密 | 第30-32页 |
| ·服务质量的满足 | 第32页 |
| ·对移动通讯更好的支持 | 第32-33页 |
| ·IPv6 在全球的发展状况 | 第33-35页 |
| ·IPv4 到 IPv6 的过渡策略 | 第35-41页 |
| ·双协议栈技术 | 第35-36页 |
| ·隧道技术 | 第36-37页 |
| ·SOCK564 技术 | 第37页 |
| ·网络地址转换技术 | 第37-38页 |
| ·SIIT | 第38-39页 |
| ·NAT-PT | 第39页 |
| ·传输层中继 | 第39-40页 |
| ·应用层代理网关（AGL） | 第40页 |
| ·利用主动网技术实现V4 向V6 的转换 | 第40-41页 |
| ·本章小节 | 第41-42页 |
| 第三章 协议一致性测试理论与方法 | 第42-63页 |
| ·形式化方法与协议测试 | 第42-47页 |
| ·协议一致性测试概念 | 第47-50页 |
| ·协议一致性测试方法 | 第50-54页 |
| ·测试生成技术 | 第54-57页 |
| ·基于有限状态机FSM 的测试集生成方法 | 第54-55页 |
| ·基于Estelle 的测试集生成方法 | 第55-56页 |
| ·基于LOTOS 的测试集生成方法 | 第56-57页 |
| ·基于SDL 和MSC 的测试集生成方法 | 第57页 |
| ·测试执行方法 | 第57-58页 |
| ·IPv6 协议一致性测试研究现状 | 第58-61页 |
| ·本章小节 | 第61-63页 |
| 第四章 IPv6 协议一致性测试集的形式化描述 | 第63-81页 |
| ·协议测试集的形式化方法 | 第63-66页 |
| ·形式化测试集描述语言TSS | 第66-78页 |
| ·TSS 测试集的结构 | 第67-69页 |
| ·TSS 的语法/语义定义举例 | 第69-78页 |
| ·TSS 的优缺点 | 第78-79页 |
| ·本章小节 | 第79-81页 |
| 第五章 IPv6 协议一致性测试方法 | 第81-121页 |
| ·虚拟测试法 | 第81-90页 |
| ·现有的测试方法及测试结构 | 第81-84页 |
| ·虚拟测试法及逻辑测试结构 | 第84-87页 |
| ·虚拟测试法在IPv6 协议测试中的实现 | 第87-89页 |
| ·虚拟测试法与逻辑测试结构的优点 | 第89-90页 |
| ·底层汇聚测试法 | 第90-101页 |
| ·现有的测试方法 | 第90页 |
| ·底层汇聚测试法的工作原理 | 第90-101页 |
| ·底层汇聚测试法的优点 | 第101页 |
| ·虚拟测试法和底层汇聚测试法的应用 | 第101-120页 |
| ·IPv6 基本描述协议 | 第101-107页 |
| ·ICMPv6 协议 | 第107-108页 |
| ·邻居发现协议 | 第108-110页 |
| ·路径最大传输单元发现协议 | 第110-114页 |
| ·与地址结构及类型相关协议 | 第114页 |
| ·安全协议 | 第114-117页 |
| ·移动IPv6 | 第117-119页 |
| ·地址自动配置协议 | 第119页 |
| ·隧道协议 | 第119-120页 |
| ·本章小节 | 第120-121页 |
| 第六章 IPv6 协议一致性测试系统V6PTS | 第121-133页 |
| ·IPv6 协议一致性测试基本流程 | 第121-122页 |
| ·测试系统V6PTS 的体系结构 | 第122-129页 |
| ·系统总体结构 | 第122-124页 |
| ·人机交互子模块 | 第124-125页 |
| ·测试产生子模块 | 第125-126页 |
| ·测试实现子模块 | 第126-127页 |
| ·测试执行子模块 | 第127-128页 |
| ·测试结果分析及报告子模块 | 第128-129页 |
| ·V6PTS 系统实现 | 第129-132页 |
| ·本章小节 | 第132-133页 |
| 第七章 IPv6 协议一致性测试的实现 | 第133-154页 |
| ·基本描述协议的测试 | 第133-135页 |
| ·协议概述 | 第133-134页 |
| ·IPv6 基本描述协议测试结果及分析 | 第134-135页 |
| ·ICMPv6 的测试 | 第135-136页 |
| ·协议概述 | 第135页 |
| ·ICMPv6 协议测试结果及分析 | 第135-136页 |
| ·邻居发现协议的测试 | 第136-137页 |
| ·协议概述 | 第136页 |
| ·IPv6 邻居发现协议测试实现及结果分析 | 第136-137页 |
| ·路径最大传输单元发现协议的测试 | 第137-138页 |
| ·协议概述 | 第137页 |
| ·PMTU 测试实现及结果分析 | 第137-138页 |
| ·与地址结构及类型相关协议的测试 | 第138-139页 |
| ·协议概述 | 第138-139页 |
| ·地址结构及类型协议的测试 | 第139页 |
| ·安全协议的测试 | 第139-142页 |
| ·协议概述 | 第139-140页 |
| ·安全协议测试及结果分析 | 第140-142页 |
| ·移动IPv6 协议测试 | 第142-145页 |
| ·协议概述 | 第142-143页 |
| ·测试及结果分析 | 第143-145页 |
| ·地址自动配置协议的测试 | 第145-147页 |
| ·协议概述 | 第145-146页 |
| ·地址自动配置协议测试及结果分析 | 第146-147页 |
| ·隧道协议的测试 | 第147-153页 |
| ·协议概述 | 第147-148页 |
| ·IPv6 隧道协议测试及结果分析 | 第148-153页 |
| ·本章小节 | 第153-154页 |
| 第八章 结束语 | 第154-158页 |
| ·论文总结 | 第154-156页 |
| ·下一步研究工作 | 第156-158页 |
| 参考文献 | 第158-170页 |
| 【作者简历】 | 第170页 |
| 【攻读博士学位期间发表的主要论文】 | 第170页 |
| 【攻读博士学位期间参加的主要科研项目】 | 第170-171页 |
| 致 谢 | 第171页 |