期刊文献+

下一代边界网关协议测试研究

Test Research on the Next Generation of Border Gateway Protocol
下载PDF
导出
摘要 为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了相应的测试系统、提出了边界网关协议第4+版的一致性测试规范,最后在Red Hat Linux 9.0环境下对边界网关协议第4+版的协议实现进行一致性测试,所获得的测试结果对第4+版边界网关协议产品的开发具有一定的指导意义。 To promote the deployment of IPv6 internet and improvement of the accuracy and reliability of BGP4 + protocol, the author conducted the conformance test that protocol. The proper testing method was designed by analyzing the BGP4 + working principle. The experimental network, testing system and conformance test specification were constructed according to the protocol characters. Experiment was done in the Red Had Linux 9.0 operation system to validate the conformance of BGP4 +. The results are prominent for conducting the development of BGP4 + products.
作者 丁雪莲
出处 《成都信息工程学院学报》 2011年第5期549-554,共6页 Journal of Chengdu University of Information Technology
关键词 计算机应用技术 下一代互联网 边界网关协议第4+版 路由协议 协议一致性测试 互联网协议第6版 测试例 technology of computer application the next generation of internet BGP4 + routing protocols protocol conformance test IPv6 test case
  • 相关文献

参考文献7

二级参考文献44

  • 1吕欣岩,赵保华,周颢.一种动态协议一致性测试方法[J].中国科学技术大学学报,2005,35(3):398-404. 被引量:6
  • 2Petrenko Atexandre, Yevtushenko Nina. Testing from partial deterministic FSM specifications. IEEE Transactions on Computers, 2005, 54(9): 1154-1165.
  • 3Lee David, Yannakakis Mihalis. Principles and methods of testing finite state machines-- A survey. Proceedings of the IEEE, 1996, 84(8): 1090-1123.
  • 4Chen J, Hierons R M, Ural H. Resolving observability problems in distributed test arehitectures//Proceedings of the FORT2005. Taipei, Taiwan, China, 2005:219-232.
  • 5Miller R E, Chen D-L, Lee D, Hao R. Coping with nondeterminism in network protocol testing//Proceedings of the TestCom 2005. Montreal, Canada, 2005: 129-145.
  • 6Brinksma E, Tretmans J. Testing transition systems: An annotated bibliography//Proceedings of Summer School MOVEP'2k Modelling and Verification of Parallel Processes. Nantes, 2000:44-50.
  • 7Ingolfsdottir A, Lin Huimin. A symbolic approach to valuepassing processes//Bergstra J A, Ponse A, Smotka S A eds. Handbook of Process Algebra, Amesterdam: Elsevier, 2001 :427-477.
  • 8Rusu V, du Bousquet L, Jeron T. An approach to symbolic test generation//Integrated Formal Methods-INMF 2000. Lecture Notes in Computer Science 1945. Springer-Verlag, 2000:338-357.
  • 9Frantzen Lars, Tretmans Jan, Willemse Tim A C. Test generation based on symbolic specifications//Proceedings of the FATES 2004. LNCS 3395. 2005:1-15.
  • 10Faivre Alain, Gaston Christophe. Symboilc model based testing for component oriented system//Petrenko Aet al eds. Proceedings of the TestCom/FATES 2007. LNCS 4581. Springer, 2007:90-106.

共引文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部