孙静波[1]2004年在《IPv6邻居发现协议一致性测试研究》文中研究表明随着Internet的商业化,各种网络产品和网络应用相继出现,加速了IPv4地址的消耗,IPv6在这种情况下应运而生。IPv6在全球越来越受到重视,相应的网络产品和应用也大批涌现,从而使得协议实现是否与协议标准相一致成为一个亟待解决的问题。因此,开展IPv6协议一致性测试研究具有重要的理论意义和应用价值。在IPv6协议族中,邻居发现协议是一个基本协议,是一个必不可少的协议,它奠定了整个IPv6网络通信的基础。IPv6网络中的各个节点通过邻居发现协议来发现同一链路上的邻居的链路层地址和默认路由器,并可以及时了解邻居的可达性信息等。邻居发现协议的实现是否与协议标准相一致将直接影响到整个IPv6网络的通信质量,是IPv4网络向IPv6顺利过渡的有效保证。本论文围绕协议一致性测试这个主题,对协议一致性测试理论进行了研究,对当前通信领域内已有的测试生成方法进行了深入的分析和比较,对比总结了这些测试生成方法的特点与不足之处。通过对邻居发现协议详细深入的分析,为其建立MSC模型,确定了邻居发现协议的测试内容,提出了适合于邻居发现协议的测试生成方法UIO*-方法,并用生成的测试例对FreeBSD、Linux和Solaris叁种操作系统和一种国产商业路由器进行了实际测试,对测试结果进行了统计和分析,分别发现了不同协议实现中的一些与协议标准不一致的地方。通过测试实践活动,也进一步验证了本论文提出的测试生成方法和测试例的有效性。
田军[2]2001年在《IPv6协议一致性测试研究及测试系统实现》文中研究表明IPv6由于其近乎无限的地址空间、层次化的地址结构、高速的路由、更强的安全性、对移动性和服务质量的更好支持等特性,被认为是替代IPv4协议、解决目前Internet面临的困境、为下一代Internet提供更好的服务和发展的最佳协议。随着支持IPv6的网络产品的日渐增多,各IPv6协议实现与协议标准的一致性问题也越来越重要,对IPv6协议进行一致性测试的需求也越来越强烈。开展IPv6协议一致性测试研究具有重要的理论和现实意义。本论文在这种强烈需求的驱动下,对IPv6协议和协议一致性测试技术进行了全面深入的分析,对IPv6协议一致性测试技术开展了深入的研究。本文设计了针对IPv6协议的一种简洁高效的测试集描述语言TSS,提出了虚拟测试和底层汇聚测试的新的测试方法,基于这两种方法设计了IPv6测试系统的完整体系结构,实现了一个完整的IPv6协议一致性测试系统V6PTS,设计了9个TSS抽象测试集200多个测试例,涵盖24个IPv6 RFC协议标准,并对叁种Unix IPv6实现(Linux, FreeBSD, Solaris)及一种路由器的IPv6实现进行了一致性测试。本文的创造性工作体现在以下几各方面:1.针对IPv6协议设计了一种测试集描述语言TSS。该描述语言克服了国际标准测试集描述语言TTCN在生成IPv6协议一致性测试集时的测试集描述复杂、测试集产生效率低、测试执行速度慢等问题,可以针对IPv6协议进行简洁高效的描述和测试执行,并可以扩展应用到其它协议测试集的描述。2.提出了虚拟测试的新方法。目前国际上对通讯协议的测试,特别是在对路由协议的测试中,一般要采用多台测试器对被测实现进行测试。多台测试器存在于不同的系统中,在物理上是分离的,因此对同一测试事件的观察在时间上存在差异,另外各测试器之间必须有良好的同步和控制协调过程,使测试过程过于复杂。本文中提出的虚拟测试方
郑红霞[3]2003年在《IPv6协议一致性测试例设计方法》文中认为IPv6作为下一代互联网的核心协议正在逐步走向实用阶段。在这个过程中,各个厂家所推出的不同的IPv6协议实现版本是否与IPv6协议标准一致及它们之间是否能够安全、可靠地相互通讯,对于IPv6的普及和发展至关重要。协议一致性测试的目的就是测试一个协议标准和它的多种不同实现之间的一致性以保证这些不同实现之间能够互操作。因此开展IPv6协议一致性测试技术的研究对于IPv6的发展具有重要的意义。测试例设计方法的研究对协议一致性测试十分重要。它决定了测试的质量,是测试操作和测试执行的基础,是整个协议测试的核心。本论文在深入研究协议一致性测试理论中关于抽象测试集生成的部分以及现有测试生成方法的基础上,针对IPv6协议的一致性测试,分析了基于ISO9646定义的标准测试例结构的常规测试例设计方法用于生成IPv6协议一致性测试例的不足之处,通过对IPv6协议特点的深入分析和IPv6协议测试的实践,创新性地提出了一种IPv6协议一致性测试例设计方法,给出了新的IPv6协议一致性测试例结构,并将提出的方法成功地应用到了商业IPv6协议测试仪的实现中。为了量化地分析测试例的质量,本论文提出了测试例评价指标。通过对实际产生的测试例的分析表明,本论文提出的方法可以有效地简化测试序列,缩短测试执行时间,提高测试效率。
袁丁[4]2006年在《基于自动机模型的IPv6邻居发现协议一致性测试》文中研究表明IPv6协议作为下一代互联网的核心协议正在逐步走向实用阶段。邻居发现协议是IPv6协议的一个重要组成部分,它的实现是否与协议标准相一致将直接影响到整个IPv6网络的通信质量。随着IPv6的推广应用,由于对协议的不同理解,使得通信设备的协议非一致性问题日趋严重,因此,进行IPv6邻居发现协议一致性测试的研究具有重要的理论意义和应用价值。本论文的研究主要围绕RFC2461所描述的邻居发现协议的形式化模型一致性测试。在对协议进行详细分析的基础上,提出了协议的形式化描述方法,建立起邻居发现协议基于有限状态自动机(FSM)的主机模型。重点研究了它的一致性测试的系统结构和测试执行,并建立相应的测试环境。最后使用自定义的测试集对建立起来的IPv6邻居发现协议主机模型实现进行测试,给出了测试报告,并对测试结果进行了分析。本文所研究的邻居发现协议的主机状态模型,是一个协议实体的状态机模型,今后将深入研究包含多个实体的协议系统模型。通过对测试结果进行分析,验证了基于有限状态自动机的模型,在外部行为上同协议规范的一致性,发现了被测的模型实现上的一些不一致问题,为今后改进协议和测试方法,使协议的具体实现与协议标准相一致打下基础。
孙美飞[5]2004年在《协议测试执行系统的实现及IPv6邻居发现协议的一致性测试》文中研究说明随着计算机网络发展特别是开放型异构网络的迅猛发展，协议测试理论和技术的研究越来越重要，已经成为国际上计算机网络研究的热点之一。研究基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节。 我们做的工作主要是以下两个部分：一部分是结合ISO的标准和方法，提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法，并且在Windows环境下采用面向对象的方法实现了此协议测试执行系统。这种形式化的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集自动执行的有效手段；另一部分是对IPv6邻居发现协议的一致性进行了测试。Neighbor Discovery(邻居发现，ND)协议是下一代互联网协议IPv6协议族中的一个重要组成部分。本文对IPv6协议族中的邻居发现协议进行了简要介绍，提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法，实现了邻居发现协议一致性测试集的形式化，给出了用测试例描述语言TTCN描述的测试例的实现，并对Windows2000上的IPv6邻居发现协议实现进行了一致性测试，给出了测试报告。
宗华[6]2005年在《邻居发现协议一致性测试系统（NDPCTS）的研究与实现》文中提出作为下一代互联网协议,IPv6有其自身明显的优势:近乎无限的地址容量,增强的地址方式,自动配置(“即插即用”)功能,增强的安全性操作等等。而邻居发现协议(Neighbor Discovery Protocol)是IPv6的重要组成部分,它解决了连接在同一条链路上的所有节点之间的互操作问题。 随着IPv6技术的不断发展,越来越多的厂家推出了各自支持IPv6的通信设备。但由于IPv6协议是用自然语言描述的,在RFC中以文本形式给出,各协议实现厂家对协议会有各自不同的理解,有的甚至是错误的理解,从而使得通信设备的协议非一致性问题日趋严重。因此,越来越多的研究人员致力于开发出好的IPv6协议一致性测试产品用来检验各生产厂家的实现是否与标准文本相一致,进而确保各厂家的实现之间能够互操作。 事实上,网络的飞速发展,早已使得协议一致性测试成为计算机网络技术中热门的话题之一。一方面,从标准化角度看,一致性测试的重要性在于:为了验证协议实现IUT(Implementation Under Test,被测实现)或SUT(System Under Test,被测系统)与相关协议标准的一致性,必须进行协议一致性测试,可以说不经过一致性测试,就没有实现真正意义上的标准化;另一方面,从协议工程学角度看,一致性测试也是其中的关键环节,通过形式化描述技术,一致性测试与协议工程学中的其它领域可以有机地结合起来。 本文首先介绍了IPv6及其邻居发现协议,然后详细阐述了协议一致性测试的相关理论和方法,并针对邻居发现协议提出了一种简化的测试集描述语言,最后描述了测试系统Neighbor Discovery Protocol Conformance Test System的体系结构和具体实现,并以Microsoft Windows Server 2003 Enterprise Edition为测试对象,给出了一个测试实例。
李璟[7]2013年在《IPv6无线传感网协议测试关键技术研究》文中进行了进一步梳理随着近年来无线传感器网络及IPv6技术的蓬勃发展，不少专家学者提出了在普通传感器节点内嵌入精简IPv6协议栈，构造IPv6无线传感器网络的想法。而如何对这些基于IPv6协议实现的传感器网络进行测试以确保可靠、有效的通信，则成为了该技术发展与普及的关键。协议测试即是检测某协议实现是否满足相应协议标准规范的过程，其中一致性测试和性能测试构成了协议测试的主要内容。本论文首先对协议一致性测试理论与方法，尤其是一致性测试生成技术进行了较全面的研究。在此基础上针对IPv6邻居发现协议的特性为其建立了有限状态机(FSM)模型，并通过使用一种结合了周游法和唯一输入输出(UIO)序列法的改进算法得到了该FSM模型的抽象一致性测试序列。本论文同时还对该改进算法的时间有效性及可靠性进行了分析。分析表明，使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短，同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力。此外本论文还就目前比较流行的6LowPAN协议栈进行了系统的研究，重点分析了星型6LowPAN网络的MAC协议性能。在非时隙CSMA/CA信道接入机制下通过为目标节点建立M/G/1排队模型，比较了网络节点数、丢包率、MAC帧长、节点能效等性能参数间的关系。基于以上分析研究，论文在最后还就6LowPAN的MAC协议进行了性能测试方案的设计，在设计中介绍了测试仪的系统体系结构及软件架构，同时给出了针对MAC协议不同性能参数的测试方法及测试条件。
田军, 张玉军, 于东, 付晓宇, 郑红霞[8]2001年在《邻居发现协议的形式化测试》文中研究指明Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .
孙静波, 张玉军, 李忠诚[9]2004年在《IPv6邻居发现协议测试研究》文中研究表明在对协议进行详细分析的基础上,确定了邻居发现协议一致性测试的内容,提出了适合于这些内容的测试方法以及测试生成方法。将这些研究成果应用于实际的测试工作过程中,发现并总结了目前常见的邻居发现协议实现的一些不足之处。
柳鑫, 尹霞, 王之梁[10]2006年在《邻居发现协议在五款IPv6路由器中的一致性测试比较》文中进行了进一步梳理随着第二代中国教育和科研计算机网(CERNET2)主干网在北京正式开通,我国下一代互联网(ChinaNextGenerationInternet,CNGI)建设已全面拉开序幕.为测试协议实现的一致性,进而确保不同厂家的IPv6实现间的互操作,研发了IPv6协议集成测试系统.文章中基于本系统,使用形式化的一致性测试方法,对目前五款高端IPv6路由器的ND协议实现进行一致性测试,并对测试结果进行比较分析.
参考文献：
[1]. IPv6邻居发现协议一致性测试研究[D]. 孙静波. 中国科学院研究生院（计算技术研究所）. 2004
[2]. IPv6协议一致性测试研究及测试系统实现[D]. 田军. 中国科学院研究生院（计算技术研究所）. 2001
[3]. IPv6协议一致性测试例设计方法[D]. 郑红霞. 中国科学院研究生院（计算技术研究所）. 2003
[4]. 基于自动机模型的IPv6邻居发现协议一致性测试[D]. 袁丁. 西安电子科技大学. 2006
[5]. 协议测试执行系统的实现及IPv6邻居发现协议的一致性测试[D]. 孙美飞. 内蒙古大学. 2004
[6]. 邻居发现协议一致性测试系统（NDPCTS）的研究与实现[D]. 宗华. 南昌大学. 2005
[7]. IPv6无线传感网协议测试关键技术研究[D]. 李璟. 南京邮电大学. 2013
[8]. 邻居发现协议的形式化测试[J]. 田军, 张玉军, 于东, 付晓宇, 郑红霞. 计算机研究与发展. 2001
[9]. IPv6邻居发现协议测试研究[J]. 孙静波, 张玉军, 李忠诚. 计算机工程. 2004
[10]. 邻居发现协议在五款IPv6路由器中的一致性测试比较[J]. 柳鑫, 尹霞, 王之梁. 小型微型计算机系统. 2006