| Mobile IPv6协议一致性测试研究 |
| |
| 引用本文： | 丁雪莲.Mobile IPv6协议一致性测试研究[J].西安邮电学院学报,2011,16(5):59-63. |
| |
| 作者姓名： | 丁雪莲 |
| |
| 作者单位： | 内蒙古财经学院计算机信息管理系,内蒙古呼和浩特,010070 |
| |
| 摘 要： | 针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。
|
| 关 键 词： | Mobile IPv6 协议一致性测试 测试方法 有限状态机 唯一输入输出 |
Research on the protocol conformity test of Mobile IPv6 |
| |
| DING Xue-lian.Research on the protocol conformity test of Mobile IPv6[J].Journal of Xi'an Institute of Posts and Telecommunications,2011,16(5):59-63. |
| |
| Authors: | DING Xue-lian |
| |
| Affiliation: | DING Xue-lian(Department of Computer Information and Management,Inner Mongolia Finance and Economics College,Hohhot 010070,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Mobile IPv6 protocol conformity test test method FSM UIO |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
