网络技术的飞速发展和移动计算机的广泛应用,使人们对移动互联网的需求变得十分迫切。这种迫切需求极大地促进了移动IP的研究,其中移动IPv6协议扮演越来越重要的角色。随着移动IPv6协议的不断发展,支持移动IPv6的网络产品日益增加,与此同时出现的各种实现与协议标准不一致的问题也日益严峻。因此,广泛开展对移动IPv6协议一致性测试是协议实现与协议标准相一致的重要保障,有助于协议实现的进一步完善。目前,有众多研究机构进行移动IPv6协议的一致性测试,如法国数据处理和随机系统研究中心IRISA(institute of research in dataprocessing and random systems)和北美的UNH-IOL实验室、中国科学院计算所、日本TAHI计划等。其中日本TAHI计划已经公布了400多个一致性测试例,覆盖了协议描述的绝大部分,是目前最新、最完整的测试集。但美中不足之处是TAHI计划使用Perl脚本语言描述测试例,采用的是解释执行的方法。测试结构复杂,一般要多台测试器直接与被测实现连接,还需要额外的串行通讯来协调各测试器。这些都使得它们所设计的测试例非常依赖特定的测试平台,可移植性较差。本课题主要研究内容是在一个IPv6网络环境下,通过分析移动IPv6协议的特点,采用基于有限状态机模型测试生成技术和TTCN-3测试语言相结合的方法设计实现移动IPv6测试套,搭建测试环境对移动IPv6协议实现进行一致性测试,给出测试结果。为了节省测试成本,提高测试例执行效率,本课题设计的测试套支持移动IPv6一致性测试并行测试方法,即用一台计算机模拟多个节点来对被测协议实现进行测试。此外,还设计了测试自动配置信息,用于帮助测试系统适配器了解测试网络拓扑结构,配合测试系统顺利完成测试。本课题的研究对移动IPv6协议产品的调试和推广起到积极地推动作用。