排序方式: 共有12条查询结果,搜索用时 0 毫秒
1.
丁雪莲 《西安邮电学院学报》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协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。 相似文献
2.
3.
针对边界网关协议BGP4+进行了一致性测试研究,分析了BGP4+协议的特点,给出了用XML来描述BGP4+测试套的测试模板,并对BGP4+协议在Linux下的实现,进行了一致性测试,列举了部分测试结果,对测试结果进行分析,发现了被测实现与协议说明不一致的地方. 相似文献
4.
针对面向IPv6的边界网关协议BGP4+进行了互操作性测试研究。讨论了BGP4+与BGP4的区别,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例,并给出了运用测试例对具体的协议实现测试的结果。 相似文献
5.
随着下一代互连网IPv6的快速发展,作为其重要边界路由协议的BGP4+越来越受到路由设备与软件开发商的重视,很快从实验室走向产品化,因此对BGP4+进行一致性测试具有极其重要的作用。概要性地论述BGP4+协议,介绍路由软件Zebra,详细给出用Linux环境下的路由软件Zebra组建支持IPv6的BGP4+协议一致性测试平台的方法。 相似文献
6.
本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。 相似文献
7.
8.
9.
首先介绍将BGP4+的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4+的Petri网模型直接进行可执行测试序列的自动生成,同时给出生成算法。 相似文献
10.