基于TTCN-3的移动IPv6协议一致性测试研究

论文摘要

当今移动性已经成了互联网网络革新的关键驱动力,高速的带宽和移动世界为用户提供了新的网络服务。IPv6作为下一代的Internet互连协议,必须考虑到对移动通信方面的支持。因此,对IPv6协议族中非常重要的一个协议——移动IPv6协议进行一致性测试,并发现其实现中存在的错误是非常必要的。本文关注移动IPv6协议的一致性测试问题,在分析移动IPv6协议的基础上,进行了移动IPv6协议的测试研究和实践。基于TTCN-3的移动IPv6协议一致性测试包括对移动IPv6协议的形式化描述、测试生成、编写符合TTCN-3语法要求的抽象测试套及基于TTCN-3的测试平台的开发。因此,本文的工作主要包括以下四个部分:首先,我们采用四层结构对移动IPv6协议进行充分的描述,在应用有限状态机对其建模过程中,考虑到多个移动节点与通讯节点通讯的情况,引入多节点的有限状态机概念;在此基础上引入数据流,并用扩展带标记转换系统进行描述,然后基于数据流的定义和使用标准生成可执行测试例;其次,依据得到的可执行测试例,使用国际标准测试语言TTCN-3来设计并实现移动IPv6协议测试集;最后,完成测试系统适配器的开发工作,以测试软件提供的适配器接口函数为基础,扩展了移动IPv6协议一致性测试下某些函数的部分功能,搭建了移动IPv6协议运行的测试平台,并对Linux平台上的移动IPv6协议实现MIPL进行了一致性测试的实践,得到了相应的测试结果。

论文目录

• 摘要
• ABSTRACT
• 目录
• 图表目录
• 引言
• 0.1 研究背景
• 0.2 主要工作及论文的组织
• 第一章 协议测试理论和研究背景
• 1.1 协议测试的基本概念
• 1.2 协议测试的类别
• 1.3 协议一致性测试的理论
• 1.3.1 一致性测试过程
• 1.3.2 抽象测试集
• 1.4 当前移动IPV6协议一致性测试研究现状
• 第二章 移动IPv6协议概述
• 2.1 移动IP简介
• 2.2 移动IPv6机制
• 2.3 移动报头的定义
• 2.4 移动IPv6对IPv4的改进
• 第三章 移动IPv6协议的形式化描述和测试例生成
• 3.1 移动IPv6协议测试需求分析
• 3.2 针对移动IPv6协议的测试生成方法
• 3.3 移动IPv6协议的形式化描述
• 3.3.1 针对协议运行流程的描述和测试生成
• 3.3.2 针对协议节点类型的描述
• 3.3.3 针对内部数据结构处理的描述
• 3.3.4 针对离散功能的分析和测试
• 3.4 移动IPv6协议一致性测试序列的生成
• 3.5 移动IPv6协议一致性测试集的设计
• 3.6 移动IPv6一致性测试的实际测试举例
• 第四章 TTCN-3核心内容介绍
• 4.1 TTCN-3测试框架概述
• 4.2 TTCN-3测试套结构
• 4.3 TTCN-3测试配置简介
• 4.3.1 TTCN-3成分定义及成分之间的关系
• 4.3.2 TTCN-3端口定义及相关的操作
• 4.3.3 TTCN-3成分之间的通讯类型
• 4.4 TTCN-3的类型type和值系统value system
• 第五章 TTCN-3测试系统适配器Adapter的设计与实现
• 5.1 TTCN-3 Adapter的地位和作用
• 5.2 与TTCN-3 Adapter相关的函数接口
• 5.3 移动IPv6协议一致性测试Adapter要求
• 5.4 移动IPv6协议一致性测试Adapter的设计与实现
• 5.4.1 TCI接口函数
• 5.4.2 TRI接口函数
• 5.4.3 编解码功能函数
• 5.5 小结
• 第六章 移动IPv6协议一致性测试实践及结果分析
• 6.1 移动IPv6协议一致性测试的总体结构
• 6.2 基于TTCN-3的移动IPv6协议抽象测试例
• 6.3 移动IPv6协议一致性测试例的编译
• 6.4 移动IPv6协议一致性测试例的执行
• 6.5 移动IPv6协议一致性测试结果分析
• 第七章 工作总结和展望
• 7.1 工作总结
• 7.2 对未来研究方向的展望
• 参考文献
• 致谢