论文部分内容阅读
天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议.这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议.针对新型路由协议的特点,采用形式化测试描述语言TTCN-3设计开发了适用于OSPF+、BGP+协议的一致性测试集.基于通用协议集成测试系统PITSv3,使用该测试集对新型路由协议进行了一致性测试,测试结果表明,该测试集能有效发现天地一体化网络新型路由协议实现与其设计规范的不一致,为新型路由协议的开发优化提供有力的帮助.