Mobile IPv6协议一致性测试研究

Research on the protocol conformity test of Mobile IPv6

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

Considering that the protocol conformity test is compulsory while Mobile IPv6 is implemented, the requirements of a conformity test of Mobile IPv6 are extracted based on RFC3775, a new test method combined active test and passive test is proposed, and some finite state machine models are built up for mobile node, home agent node and correspondent node. Based on these models, fourteen test cases are generated by U method. Under the environment of Red Hat Linux 9.0, protocol conformity test is executed on mipv6-1.1-v2. 4. 26. An analysis of the practice results shows that, the inconformity does exist.