Mobile IPv6协议一致性测试研究

作     者：丁雪莲 

作者机构：内蒙古财经学院计算机信息管理系内蒙古呼和浩特010070 

出 版 物：《西安邮电学院学报》 (Journal of Xi'an Institute of Posts and Telecommunications)

年 卷 期：2011年第16卷第5期

页      码：59-63页

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

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

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1007-3264.2011.05.015

馆 藏 号：203296008...