Mobile IPv6协议一致性测试研究

摘要：

针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题，对Mobile IPv6展开协议一致性测试。首先根据RFC3775提取了Mobile IPv6的一致性测试需求，并针对协议特点设计一种主被动测试相结合的新测试方法，然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型，在该模型基础上使用U方法自动生成了14条测试例。最后，对Red Hat Linux 9．0环境下的mipv6—1．1-v2．4．26协议实现进行一致性测试实践。对测试结果进行分析后表明，被测实现与协议说明之间存在不一致之处。

关键词：Mobile、IPv6、协议一致性测试、测试方法、有限状态机、唯一输入输出

所属期刊栏目：16

分类号：TP393.06(计算技术、计算机技术)

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：59-63