摘要
天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议。这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议。针对新型路由协议的特点,采用形式化测试描述语言TTCN-3设计开发了适用于OSPF+、BGP+协议的一致性测试集。基于通用协议集成测试系统PITSv3,使用该测试集对新型路由协议进行了一致性测试,测试结果表明,该测试集能有效发现天地一体化网络新型路由协议实现与其设计规范的不一致,为新型路由协议的开发优化提供有力的帮助。
The integrated space-terrestrial network plays an important role in the future network development. Compared with the traditional network,the dynamic topology changes and nodes limited computing abilities are different features in the integrated space-terrestrial network,which promote the appearance of new network protocols,including OSPF ＋ 、BGP ＋. In this paper,we present the design and implement of the conformance test suite for new routing protocol OSPF ＋ and BGP ＋,based on the protocol integrated testing system PITSv3,with the formal test description language TTCN-3. By executing and analyzingthe consequences of the conformance test suite,we demonstrate that the inconsistency between the implementation and the design specification of new routing protocols can be detected effectively,strongly contributing to the implement and optimization for the development of the new protocols.
作者
王庆
王之梁
姚姜源
施新刚
尹霞
王鹏
陈健军
戴庆龙
牟超
WANG Qing1, WANG Zhi-liang2,3, YAO Jiang-yuan4 , SHI Xin-gang2,3, YIN Xia1,3, WANG Peng5, CHEN Jian-jun5, DAI Qing-long5, MU Chao5(1. Department of Computer Science ＆ Technology, Tsinghua University; 2. Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China, 100084; 3.Tsinghua National Laboratory for Information Science and Technology （TNList） , Beijing, China, 100084; 4. College of Information Science ＆ Technology Hainan University, Hainan, China, 570228 ; 5. China Academy of Electronics and Information Technology, Beijing, China, 100041)
出处
《中国电子科学研究院学报》
北大核心
2018年第1期72-80,共9页
Journal of China Academy of Electronics and Information Technology
基金
国家高技术研究发展计划(863)(2015AA016105)
国家自然科学基金(61402253
61373161)
国家自然科学基金(61601422)
