期刊文献+

IPv6邻居发现协议的一致性测试 被引量:3

The Conformance Testing of Neighbor Discovery for IPv6
下载PDF
导出
摘要 Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。 Neighbor Discovery for IPv6 is a main part of IPv6 protocols. This paper introduces the Neighbor Discov- ery protocol simply and presents a formal method of the protocol conformance testing which based on FSM and MSC. A formal Neighbor Discovery protocol test suit is specified, and the implementation of the test case based on TTCN is given out. Also we test the conformance of the Neighbor Discovery for IPv6 on Windows2000 and give out the test report.
出处 《计算机科学》 CSCD 北大核心 2005年第6期43-46,68,共5页 Computer Science
基金 国家自然科学基金(69863001) 内蒙重点领域项目(ZL9902)
  • 相关文献

参考文献9

  • 1ISO/IEC 9646-1. Open Systems Interconnection-Conformance testing methodology and framework - Part 1: General Concepts,1994
  • 2ISO/IEC 9646-2. Open Systems Interconnection - Conformance testing methodology and framework - Part 2: Abstract Test Suite Specification,July 1988
  • 3ISO/IEC 9646-3. Open Systems Interconnection-Conformance testing methodology and framework - Part 3: The Tree and Tabular Combined Notation (TTCN),1994
  • 4ISO/IEC 9646-4. Open Systems Interconnection - Conformance testing methodology and framework - Part 4: Test Realization,June, 1988
  • 5Deering S, Hinden R. RFC 2460 Internet Protocol, Version 6(IPv6) Specification. S. Deering,R. Hinden. Dec. 1998
  • 6Narten T, Nordmark E, Simpson W. RFC 2461 Neighbor Discovery for IP Version 6(IPv6). Dec. 1998
  • 7叶新铭,王红霞,石立新.下一代网络协议一致性测试执行系统的实现[J].计算机科学,2003,30(4):51-54. 被引量:1
  • 8田军,张玉军,于东,付晓宇,郑红霞,李忠诚.邻居发现协议的形式化测试[J].计算机研究与发展,2001,38(12):1409-1417. 被引量:6
  • 9毕军,史美林.计算机网络协议测试及其发展[J].电信科学,1996,12(7):51-54. 被引量:6

二级参考文献15

  • 1Conta A, Deering S. Internet Control Messslle Protocol for the Internet Protocol Version 6 (IPv6) Specification,Dec. 1998. 1~15.
  • 2Deering S, Hinden R. Internet Protocol, Version 6 (IPv6)Specification. Dec. 1998.
  • 3Kim T H,et al. Automatic test case generation of real protocols:Framework and Methodology, FORTE XI/PSTV XV Ⅱ'98, p127~140.
  • 4Avresky D R. Formal verification and testing of protocol.Computer Communications, 1999,22 : 681~690.
  • 5Bi Jun, Wu Jianping. Application of a TTCN based conformance test environment on the Internet entail protocol, Testing of Communication System, published by Chapman & Hall, 1997IFIP,p325~329.
  • 6Tian Jun, Wu Qi, Li Zhongcheng. The next generation Internet protocol IPv6 and its testing. The sixth computer sciences and technology conference, China. July, 2000. 288~295.
  • 7毕军,Intemational Conference on Communication Technology,1996年
  • 8Kang S,IWPTS’95,1995年
  • 9毕军,小型微型计算机系统
  • 10Tai Kuochung,Computer Network ISDN Systems,1998年,30卷,12期,1111页

共引文献10

同被引文献21

  • 1袁博,李进,孙海波,杨盘隆.协议测试中测试序列生成方法综述[J].军事通信技术,2008,29(1):49-52. 被引量:2
  • 2李华,叶新铭,丁雪莲,孙涛.基于相同形式模型的协议测试方法研究[J].内蒙古大学学报(自然科学版),2005,36(6):703-708. 被引量:1
  • 3李伟,唐伦,陈前斌.基于IPv6的邻居发现协议性能分析[J].中国新通信,2006,8(21):54-59. 被引量:2
  • 4Deering S, Hinden R. Internet Protocol, Version 6 (IPv6) Specification. RFC 2460,December 1998
  • 5Ferguson C D, Moy J. OSPF for IPv 6. RFC 2 7 4 0, December 1999
  • 6Information technology-Open Systems Intercon nection-Conformance testing methodology and framework-Part 1:General concepts. ISO/IEC 9646 1,1994
  • 7Miller R E,Paul S. Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols// Proceeding of Protocol Specifications[C]. Testing and Verification (PSTV'92). Florida,USA,June 1992
  • 8Bates T, Rekhter Y, Chandra R.Multiprotocol Extensions for BG-P-4 (BGP4+). RFC 2858,June 2000
  • 9Hao Ruibing. Testing IP Routing Protocols from Probabilistic Algorithms to a Software Tool[C]//FORTE/PSTV. Pisa, Italy, 2000 : 249-264
  • 10Wu Jianping,Li Zhongjie,Yin Xia.Towards Modeling and Testing of IP Routing Protocols.Proceeding 15th IFIP International Conference,Test Com2003,Sophia Antipolis,France,May 26-28,2003,Testing of Communicating Systems.2003.49~62

引证文献3

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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