| 第一章 引言 | 第1-23页 |
| ·开展本课题研究的意义 | 第17-18页 |
| ·研究移动IPv6 协议测试的必要性 | 第17-18页 |
| ·测试对促进移动IPv6 协议完善和走向实用具有重要意义 | 第18页 |
| ·协议测试是协议工程领域的重要研究方向之一 | 第18页 |
| ·本论文的创新性和主要工作概述 | 第18-20页 |
| ·论文的整体结构和章节安排 | 第20-23页 |
| 第二章 协议一致性测试理论与实践 | 第23-41页 |
| ·一致性测试的概念和由来 | 第23-25页 |
| ·一致性测试过程 | 第25-26页 |
| ·测试描述法与测试执行方法 | 第26-28页 |
| ·测试方法 | 第28-29页 |
| ·测试生成技术 | 第29-37页 |
| ·基于状态机模型的测试生成 | 第30-33页 |
| ·基于形式描述技术的测试生成 | 第33-35页 |
| ·基于外部行为描述EBE的测试生成方法 | 第35-36页 |
| ·测试序列到抽象测试集的转换 | 第36-37页 |
| ·需要进一步研究的问题 | 第37-39页 |
| ·测试理论的形式化 | 第37-38页 |
| ·理论的实用化 | 第38页 |
| ·协议的多样化 | 第38-39页 |
| ·本章小结 | 第39-41页 |
| 第三章 移动IPv6 协议及测试需求 | 第41-63页 |
| ·IPv6 协议的产生 | 第41-43页 |
| ·IPv4 的危机 | 第41页 |
| ·IPv6 协议的产生 | 第41-43页 |
| ·移动IPv6 协议和技术介绍 | 第43-57页 |
| ·移动IP产生的背景 | 第43页 |
| ·什么是移动IP | 第43页 |
| ·IPv6 如何解决移动问题 | 第43-51页 |
| ·IPv4 与IPv6 移动解决方案比较 | 第51-55页 |
| ·移动IPv6 的未来 | 第55-57页 |
| ·移动IPv6 测试需求 | 第57-60页 |
| ·对通信节点的要求 | 第58页 |
| ·对家乡代理的要求 | 第58-59页 |
| ·对移动节点的要求 | 第59-60页 |
| ·对不能够提供家乡代理功能的普通路由器的要求 | 第60页 |
| ·IPv6 一致性测试研究现状 | 第60-61页 |
| ·本章小结 | 第61-63页 |
| 第四章 移动IPv6 测试框架 | 第63-79页 |
| ·移动IPv6 测试难点 | 第63-68页 |
| ·测试数据描述 | 第63-64页 |
| ·复杂算法实现 | 第64-68页 |
| ·测试传输 | 第68页 |
| ·标准测试框架 | 第68-70页 |
| ·标准测试框架的特征 | 第68-69页 |
| ·TTCN介绍 | 第69页 |
| ·标准测试框架对移动IPv6 测试的不适用性 | 第69-70页 |
| ·移动IPv6 测试框架 | 第70-78页 |
| ·测试数据包描述格式(TPDN) | 第70-72页 |
| ·测试行为 | 第72-74页 |
| ·测试例举例 | 第74-75页 |
| ·复杂计算过程的实现 | 第75-78页 |
| ·本章小结 | 第78-79页 |
| 第五章 计算机网络协议测试传输方法 | 第79-89页 |
| ·问题的提出 | 第79-80页 |
| ·网络接口和通信实体相结合的测试传输方法 | 第80-81页 |
| ·测试传输方法的设计与实现 | 第81-85页 |
| ·网络接口类定义 | 第81-82页 |
| ·通信实体类定义 | 第82-84页 |
| ·并发测试数据包接收模型 | 第84-85页 |
| ·实现了传输方法的测试系统 | 第85-87页 |
| ·主控模块 | 第85-86页 |
| ·接口模块 | 第86-87页 |
| ·本章小结 | 第87-89页 |
| 第六章 环境辅助测试方法 | 第89-107页 |
| ·现有测试方法介绍 | 第89-91页 |
| ·主动测试方法 | 第89-90页 |
| ·被动测试方法 | 第90-91页 |
| ·环境辅助测试方法 | 第91-100页 |
| ·移动IPv6 测试中主动测试方法的不足 | 第91-94页 |
| ·移动IPv6 测试中被动测试方法的不足 | 第94-95页 |
| ·环境辅助测试方法 | 第95-100页 |
| ·环境辅助测试方法的应用 | 第100-105页 |
| ·环境辅助测试方法在移动节点测试中的应用 | 第100-102页 |
| ·环境辅助测试方法在家乡代理测试中的应用 | 第102-104页 |
| ·环境辅助测试方法在通信节点测试中的应用 | 第104页 |
| ·环境辅助测试方法与主动测试方法的综合比较 | 第104-105页 |
| ·本章小结 | 第105-107页 |
| 第七章 移动IPv6 协议描述和测试生成 | 第107-139页 |
| ·引言 | 第107-109页 |
| ·针对协议运行流程的描述和测试生成 | 第109-114页 |
| ·协议运行环境 | 第109-110页 |
| ·协议运行流程描述 | 第110-114页 |
| ·针对协议节点类型的描述 | 第114-121页 |
| ·针对移动节点的形式化描述 | 第114-117页 |
| ·针对家乡代理的形式化描述 | 第117-119页 |
| ·针对通信节点的形式化描述 | 第119-121页 |
| ·针对内部数据结构处理的描述 | 第121-129页 |
| ·针对绑定缓存处理的形式化描述 | 第121-126页 |
| ·针对家乡代理列表处理的形式化描述 | 第126-127页 |
| ·针对绑定更新列表处理的形式化描述 | 第127-129页 |
| ·返回可路由过程的分析和测试 | 第129-130页 |
| ·针对离散功能的分析和测试 | 第130-133页 |
| ·为透明性考虑而定义的功能 | 第131页 |
| ·为安全性考虑而定义的功能 | 第131-132页 |
| ·为保证移动过程健康、可靠、高效运行而定义的功能 | 第132-133页 |
| ·测试生成算法和测试序列生成 | 第133-136页 |
| ·有限状态机到有向图的转化 | 第133-134页 |
| ·针对有向图的测试序列集生成算法 | 第134-135页 |
| ·针对有限状态机的测试序列 | 第135-136页 |
| ·对测试覆盖的说明 | 第136页 |
| ·本章小结 | 第136-139页 |
| 第八章 移动IPv6 协议测试实践 | 第139-157页 |
| ·引言 | 第139-140页 |
| ·测试系统设计与实现 | 第140-142页 |
| ·测试集设计 | 第142-153页 |
| ·设计家乡代理测试集的考虑 | 第142-143页 |
| ·设计通信节点测试集的考虑 | 第143页 |
| ·设计移动节点测试集的考虑 | 第143-144页 |
| ·移动IPv6 协议测试集列表 | 第144-150页 |
| ·测试例说明和描述 | 第150-153页 |
| ·对具体协议实现的测试 | 第153-156页 |
| ·家乡代理测试报告和测试实现分析 | 第154-155页 |
| ·通信节点测试报告和测试实现分析 | 第155页 |
| ·移动节点测试报告和测试实现分析 | 第155-156页 |
| ·基于InterWatch平台的测试仪表 | 第156页 |
| ·本章小结 | 第156-157页 |
| 第九章 结束语 | 第157-161页 |
| ·论文的主要贡献和创新 | 第157-159页 |
| ·下一步研究工作 | 第159-161页 |
| 参考文献 | 第161-167页 |
| 致谢 | 第167-169页 |
| 【作者简历】 | 第169-170页 |