期刊文献+

基于SoT的BGP4+协议一致性测试系统设计 被引量:2

SoT-based BGP4+ Protocol Conformance Test System Design
下载PDF
导出
摘要 底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。 The transition of bottom layer protocol form IPv4 to IPv6 make the application protocol that runs on IPv4 originally to be mended.The appearance of BGP4+ is in order to suit for this situation,it comes from BGP4.So for a modified protocol,a new BGP4+ protocol conformance test system is needed.This paper introduces the feature of BGP4+ and the conception of conformance test first,presents the improvement of the formalization language of test suite,and expatiates on the architecture and method of design of BGP4+ protocol conformance test system based on above.
出处 《计算机工程与应用》 CSCD 北大核心 2005年第21期139-141,145,共4页 Computer Engineering and Applications
基金 国家自然科学基金项目(编号:60403031 60273070)
关键词 一致性测试 BGP4+ 测试集形式化描述语言 conformance test,BGP4+,formalization language of test suite
  • 相关文献

参考文献8

  • 1Y Rekhter. A Border Gateway Protocol 4[S].RFC1771,1995-03
  • 2D R Avresky. Formal verification and testing of protocol[J].Computer Communications, 1999; (22): 681~690
  • 3B Sarikaya. Principles of Protocol Engineering and Conformance Testing[M].Ellis Horwood, 1993
  • 4D Sidhu,T Leung. Formal method for protocol testing:A detailed study[J].IEEE Trans On software Engineering, 1989; 15 (4)
  • 5ISO/IEC 9646-2:IT-OSI-Conformance testing methodology and framework :Part 2 :Abstract test suite specification[S].1996
  • 6ISO/IEC 9646-3:IT-OSI-Conformance testing methodology and framework:Part 3:The tree and combined notation(TTCN)[S].1996
  • 7ISO/IEC 9646-1 :IT-OSI-Conformance testing methodology and framework: Part 1: General concepts[S].1996
  • 8ISO/IEC 9646-4:IT-OSI-Conformance testing methodology and framework:Part 4:Test realization[S].1996

同被引文献11

  • 1林华辉,赵保华,屈玉贵.基于有向图的最小完全覆盖互操作测试序列生成算法[J].中国科学技术大学学报,2006,36(2):225-229. 被引量:11
  • 2翟鹏,王旸旸,李登道,毕经平.BGP4+协议一致性测试系统设计与实现[J].计算机应用研究,2006,23(5):202-204. 被引量:2
  • 3Bates T, Rekhter Y, Chandra R. Multiprotc~ol Extensions for BGP-4(BGP4 + ), RFC 2858, June, 2000.
  • 4Kang S, Shin J, Kim M. Interoperability test suite derivation for communication protocols[J]. Computer Networks, 2000, 32(3) :347 - 364.
  • 5Rekhter Y. RFC 1771: A Border Gateway Protocol 4 (BGP-4) [EB/OL]. http://www. ietf. org/rfc. html. 1995-03.
  • 6Bates T. RFC 2858: Multiprotocol Extensions for BGP-4 [EB/OL]. http://www. ietf. orgrfc. html.2000-06.
  • 7TAHI Project [EB/OL]. http://www. tahi. org/. 1998-10-01.
  • 8University of New Hampshire InterOperability Laboratory. InterOperability Laboratory [EB/OL]. http:// www. iol. unh. edu/. 2000-01.
  • 9Chandra R. RFC 2842: Capabilities Advertisement With BGP-4 [EB/OL]. http://www.ietf. org/rfc. html/. 2000-05.
  • 10邢熠,叶新铭,谢高岗.路由协议的符号化测试生成[J].计算机学报,2010,33(3):589-595. 被引量:2

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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