论文部分内容阅读
Internet的飞速发展和移动计算机日益广泛的应用，推动了对移动计算机无线接入的研究，同时广大Internet用户对随时在线的要求日益增强也极大地促进了对移动IP的研究。移动IP允许移动节点在不重新启动和不中断任何正在进行的因特网通信的情况下同时能够移动自己的位置。 当今移动性已经成了互联网网络革新的关键驱动力：高速的带宽和移动世界为用户提供了新的网络服务；无处不在的无线网络给人们提供了新的工作方式和生活方式。同时IPv6作为下一代的Internet互连协议，必须考虑到对移动通信方面的支持。因此，移动IPv6被引入了IPv6的协议之中，并且成为其重要的一部分。移动节点是移动IPv6技术的重要组成部分，是移动IPv6协议中能“动”的那一部分，其他的设备都是为移动节点提供支持和保障。 协议测试是用来保证协议实现的正确性和有效性的重要手段。协议一致性测试关注被测协议实现与协议文本要求的一致性，是协议测试的基础。尽管移动IPv6在2004年就已经达到RFC标准，但它仍然是一个不很成熟的协议仍需要进一步发展。 目前国际很多的公司或研究机构如Helsinki University of Technology，Microsoft，Kame等相应研发了很多基于MIPv6 draft24或者RFC3775的移动IPv6协议实现，但是这些实现是否真正实现了移动IPv6协议的要求，是否真正地实现了不同版本之间的互通，将成为制约协议使用的瓶颈问题，也是非常需要进行研究的问题。对移动IPv6协议的一致性测试是解决这些问题的有效手段。 本文关注移动IPv6协议一致性测试问题，通过分析移动IPv6协议的特点，提出了移动IPv6协议一致性测试的测试组织和测试方法，通过使用国际标准测试语言TTCN-3来设计并实现移动IPv6协议测试集，并在使用协议集成测试工具TTworkbenchbasic的基础上完成测试。同时由于现有的移动IPv6测试集主要是针对老版本的移动IPv6协议，如：draft ietf mobile ip ipv6 20.txt等。随着新版本移动协议的产生，旧的测试集显然已不能适应新的需求。在此基础上，我们根据移动IPv6