IPv6邻居发现协议的一致性测试

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。     

领导发现协议的形式化测试

Neighbor Discovery（领导发现,ND）协议是下一代互联网协议IPv6协议的一个重要组成部分,随IPv6在我国的推广应用,各种设备蜂拥而来,由于各协议实现厂家对协议的不同理解,通信设备的协议非一致性问题将日趋严重,来了检查各个不同生产厂家的实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,提出了一种协议一致性测试的方法,并开发了IPv6协议实现一致性测试系统,给出了该测试系统的结构,并利用自定义的一种形式化描述语言,实现了邻居发现协议一致性测试集的形式化,并通过对Solaris8上的IPv6协议实现进行测试,给出测试报告和结果分析。     

IPv6邻居发现协议测试研究

对协议进行详细分析的基础上,确定了邻居发现协议一致性测试的内容,提出了适合于这些内容的测试方法以及测试生成方法。将这些研究成果应用于实际的测试工作过程中,发现并总结了目前常见的邻居发现协议实现的一些不足之处。     

邻居发现协议在五款IPv6路由器中的一致性测试比较

随着第二代中国教育和科研计算机网（CERNET2）主干网在北京正式开通，我国下一代互联网（China Next Generation Internet，CNGI）建设已全面拉开序幕．为测试协议实现的一致性，进而确保不同厂家的IPv6实现间的互操作，研发了IPv6协议集成测试系统．文章中基于本系统，使用形式化的一致性测试方法，对目前五款高端IPv6路由器的ND协议实现进行一致性测试，并对测试结果进行比较分析．     

IPv6中Neighbor Discovery协议及其测试

IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。     

基于PKI的IPv6安全邻居发现协议

介绍邻居发现协议(NDP)存在的安全威胁,分析其中的安全邻居发现算法(SEND)的工作机制,在NDP报文中加入CGA和RSA签名等选项,以抵御一些欺骗性攻击,针对SEND中未解决的公钥管理问题引入公钥基础设施,建立依靠证书的安全通信,进一步提高NDP的安全。     

IPv6中的邻居发现协议——NDP功能浅析

介绍了IPv6中的邻居发观协议的功能,并且详细阐述了知何利用ICMPv6中的信息控制报文来实现这些功能.     

6LoWPAN邻居发现协议的研究

6LoWPAN(IPv6 over Low power WPAN)体系结构中邻居发现协议(NDP)是一个关键技术,原邻居发现协议不能直接运行于LoWPAN网络上的主要原因是采用IPv6多播实施大多数功能,因此必须在保证NDP基本功能的前提下满足无线传感器网络(WSN)的低功耗和低资源需求的设计要求.针对NDP的基本功能提出了简化、修改和裁减方案,对于NDP的主要多播流量即路由器恳求(RS)和路由器通告(RA)给出了相应的动态通告算法,大大减少了LoWPAN网络的流量,同时又保证了与原NDP过程的兼容性.     

分布式高性能路由器邻居发现协议实现研究

邻居发现（ND）协议是网络设备必须支持的协议之一。基于Linux操作系统,本文提出了适合于具有分布式结构的T比特级高性能路由器的一种ND协议实现方案,该方案利用Linux内核提供的netlink机制,分别给出了T比特路由器中先应式地址解析以及主机路由的实现方法,测试结果表明,该方案使得T比特路由器控制平面能够高效可靠地完成邻居发现功能。     

IPv6邻居发现协议安全机制研究

介绍了邻居发现协议(NDP)的工作原理,对邻居发现协议的安全机制进行了研究,分析总结了由于协议自身缺陷而导致的安全威胁：重定向和拒绝服务攻击。但现行的邻居发现安全算法产生的计算开销过大,不便于推广使用。由此基于对称密码引入了一种改进的安全算法,它与提出的节点可达性测试机制相结合,可用于保证邻居发现的安全。最后,与现行的邻居发现安全算法进行了分析比较,结果表明该方法能够有效地保证邻居发现的安全,并且不会给网络节点带来过多的计算开销,更为简单实用且易于推广,具有一定的实用价值。     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

多单元协议一致性测试中的同步序列的生成

有限状态机模型一般被用来描述通信协议和其它各类的分布式系统,对于一个多端口的有限状态机,需要多个测试单元进行测试,使用一个包括K个（K≥2）测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致,在测试过程中,K个测试单元之间可能会出珊步问题,目前,主要是通过增加外部同步操作来解决同步问题,提出了一种新的同步测试序列生成模型－－同步有向图,它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下,产生同步测试序列;如果可以产生,则此生成中以将非同步测试相应的同步测试序列;另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法。     

局部网络运输协议的形式描述与验证

本文研讨局部网络的运输协议及其形式描述技术.文中论述了局部网络建立运输层的必要性和可能性.讨论了局部网络体系结构中的运输层、运输服务和运输协议的设计,给出了该运输协议的一种基于有限状态自动机(FSA)的形式描述,并通过可达树对该协议的正确性进行了验证.     

一种适用于局网的传输协议及其形式描述

本文研讨局部网络的传输协议及其形式描述技术。文中论述了局部网络建立传输层的必要性和可能性。讨论了局部网络体系结构中的传输层、传输服务和传输协议的设计、给出了该传输协议的一种基于有限状态自动机的形式描述，并通过可达树对该协议的正确性进行了验证。     

一种形式化的协议互操作性测试方法

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。     

基于标号有限状态机的协议形式描述与验证

本文论述了协议的形式描述与验证的主要技术，讨论了基于标号有限状态机的形式描述与验证问题，给出了应用实例。     

一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

一种高效的网络协议一致性测试生成方法

本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。     

路由协议测试的窗口黑盒模型和多通道的测试方法

路由协议测试中的效率和覆盖率亟待提高,原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用,因此在路由协议测试中以窗口黑盒模型描述被测实现,在测试结构上实现了多通道测试方法,提高了测试效率和测试覆盖率,通过与被测模块交互的其它模块,增强了测试的控制观察能力,测试便的执行时间相比原有方式下降50％;消除或减小了以往不能测试的范围和内容,相应测试例个数增加3倍以上;为目前急需的大规模的路由器测试工作奠定了基础。