为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了...为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了相应的测试系统、提出了边界网关协议第4+版的一致性测试规范,最后在Red Hat Linux 9.0环境下对边界网关协议第4+版的协议实现进行一致性测试,所获得的测试结果对第4+版边界网关协议产品的开发具有一定的指导意义。展开更多
文摘为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了相应的测试系统、提出了边界网关协议第4+版的一致性测试规范,最后在Red Hat Linux 9.0环境下对边界网关协议第4+版的协议实现进行一致性测试,所获得的测试结果对第4+版边界网关协议产品的开发具有一定的指导意义。
文摘针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。