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