基于ttcn-3的dhcpv6协议互操作测试的设计与实现

《基于ttcn-3的dhcpv6协议互操作测试的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基-f．TTCN．3的DHCPv6协议互操作测试的设计与实现表3．1客户行为Petri网的库所和变迁含义表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯35图3．2Petri网举例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．35图3．3图3．2中Petri网的可达树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．35图3．4(a)图3．1所示Petri网的可达树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯39图3．4(b)图3．1所示Petri网的可达树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．40图4．1TTCN．3测试系统一般结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯

2、⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。44图4．2分布的TTCN．3测试系统的一般结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．45图4—3解码协作图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯45图4．4编码协作图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．45表4．1接口概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯48图4．5DHCPv6的适配器结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯51图5．1DHCPv6互操作测试环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．．54图5．2Etheral侦得的数据包⋯⋯

3、⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．56图5．3测试日志⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯56图5．4TTCN．3测试系统各部分协作图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯57VI原创性声明本人声明：所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得内蒙古大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示了谢意。学位论文作者签名：日指导教师签

4、名：日期：在学期间研究成果使用说明书学位论文作者完全了解内蒙古大学有关保留和使用学位论文的规定，即：内蒙古大学研究生在校攻读学位期间论文工作的知识产权单位属内蒙古大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许学位论文被查阅和借阅；学校可以公布学位论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。作者今后使用涉及在学期间主要研究内容或研究成果，须征得内蒙古大学就读期间导师的同意；若用于发表论文，版权单位必须署名为内蒙古大学方可投稿或公开发表。学位论文作者签名：韵血指导教师签名：_!盟日期：枷g．石．f8日期：锄g．∥．

5、I昭内蒙古大学硕士学位论文0．1研究背景0．引言21世纪，计算机网络进入到了一个全新的发展阶段，人们面临着越来越多种类复杂的网络系统，从而造成了网络协议在空间上的分布性、并发性、异步性和不稳定性。为了确保一组协议实现在实际使用环境当中成功的通信，必须通过有效的协议测试(ProtocolTesting)【110．而网络产品的互连互通是人们最关心的问题，由于不可能进行穷举测试，一致性测试虽然增加了不同的网络产品之间互通的可能性，却不能保证它们之间的完全互通，因此对验证网络产品之间互通性的协议互操作性测试技术进行深入研究具有很重要的现实意义。随着互联网的普及，人们对网络地

6、址的数目需求增大，安全性要求增强，此时IPv6(InternetProtocolversion6，IPv6)【21相比IPv4(InternetProtocolversion4，IPv4)而言，优点十分明显。在部署IPv6的过程中，方便的主机地址获得是直接关系到IPv6推广使用的重要因素之一。目前支持IPv6的DHCPv6商业部署也已经出现，支持DHCPv6的有思科公司，微软公司等。目前已经有7种不同的DHCP实现方法【31。显然，这为DHCPv6协议互操作性测试方法的研究提供了实践基础。由此可见，本项工作的研究有着重要的理论和现实意义。0．1．1DHCPv6协议测

7、试研究现状由北美IPv6特别工作组领导、NewHampshire大学(UNH)InterOperability实验室负责实施的Moonv6项目自2002年10月开放了它的互操作试验床，加强推进IPv6的互操作测试工作，包括安全性、动态主机配置协议(DHCPv6)【4】与IPsec安全协议的互操作性以及移动IPv6、网络管理、VoIP与应用测试等方面。总体看来，这些测试都很成功，达到了预期设想。TAHI项目组实现了DHCPv6测试规范的工具，它的测试套将包含相关的IETFRFCs(3315，3633[51，3646[61和3736t71)，包括完全的和无状态DHC