基于IPv6协议一致性测试提升物联网产品安全

为了使物联网产品更符合IPv6(互联网协议第6版)规范,避免因协议漏洞导致的安全隐患,从IPv6协议一致性测试的角度,研究TAHI PROJECT项目组开发的测试套件的测试过程和评判标准。针对其新版本增加的测试用例,分析用例的测试步骤,挖掘测试过程中的重点和难点,提示物联网产品在开发时应注意的问题。经过分析认为新用例能够准确地反映IPv6协议规范的要求,IPv6协议一致性测试可以在物联网产品研发的各个阶段作为参考,提高物联网产品的安全性。     

用于协议一致性测试序列生成的状态规范化算法

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现     

IPv6协议一致性测试套件的安装与应用

对IPv6（互联网协议第6版）设备进行协议一致性测试,详述AHI PROJECT项目组开发的IPv6ReadyLogo协议一致性测试套件的安装和测试过程。介绍该套件主要测试内容和评判标准,解析在安装和使用该套件过程中容易遇到的问题,说明该套件测试结果的分析方法。该测试套件只需要性能较好的计算机即可安装,并且可以实现自动化测试,测试过程简便快速,适合评判IPv6设备是否达到相关协议标准。     

移动IPv6测试中的层次化协议描述和测试生成方法

移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集．     

INAP协议一致性测试生成的形式化方法

文章应用形式化方法对INAP协议进行测试，基于INAP协议描述的I／O FSM模型，应用UIO方法生成一致性测试序列，然后应用中国乡村邮递员算法对测试序列进行优化，生成的测试序列可以覆盖状态机的每个变迁，且生成的测试序列较短。     

IPv6协议一致性测试的实现

在863课题“IPv6协议测试技术”的支持下，以提供IPv6测试能力为着眼点，讨论了与IPv6测试相关的测试集描述语言、测试平台设计、测试方法、测试集生成等几个方面的技术，介绍了功能完善的IPv6一致性测试平台及完整的IPv6协议测试集，并对几种常见的IPv6协议实现进行了实际测试。     

基于改进FSM的协议一致性测试方法

介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UIO方法的测试能力优于T方法,但是生成的测试序列的长度较后者要长一些。实验结果表明,本改进方法的能力与UIO方法相同,并且测试序列的长度接近于T方法。     

浅析移动IPv6协议及其测试技术

IPv6协议即将成为Intemet的标准,在任何协议的研究开发中,测试工作都是很重要的.移动IPv6作为IPv6协议族中非常重要的一个协议,对基本的IPv6协议运作方式有较大的改变,对它的一致性测试和互操作性测试将有助于协议的完善.本文在介绍移动IPv6协议的基础上,分析了移动IPv6协议的测试方法、测试技术和研究方向.     

基于UIO的协议一致性测试序列生成方法改进

在协议一致性测试中关键则在于寻找一条简捷高效的测试序列。在基于UIO序列的基础上提出BUIO序列的方法,并运用中国邮递员算法和启发式算法对其进行优化。     

基于IPv6的OSPFv3路由协议测试与分析

阐述了OSPFv3路由协议的基本原理以及一致性测试的相关原理及方法,分析OSPFv3路由协议的测试结果。     

IPv6邻居发现协议的安全性分析

邻居发现协议(NeighborDiscoveryProtocol,NDP)作为IPv6协议的重要组成部分,取代了IPv4中的ARP协议、ICMP路由发现和ICMP重定向功能。文章分析了NDP存在的安全问题,尤其是伪造IP地址攻击,并在此基础上提出采用加密生成地址和签名技术等来解决这些安全威胁。     

IPv6网络协议中邻居发现安全问题的研究

针对IPv6自身暴露出来的安全缺陷,以开源Snort平台为基础进行了相关研究。依据IPv6的特征,采用IPv6分析技术,针对当前开源入侵检测系统Snort中无法检测IPv6网络中邻居发现协议攻击行为的问题,研究与设计了能对IPv6中邻居发现协议攻击进行检测的HDU_IPv6_IDS入侵检测系统。     

基于IPv6的邻居发现协议性能分析

从IPv6商用化和移动互联网的需求,讨论了邻居发现协议的重要性.介绍了邻居发现协议的基本工作原理,讨论了邻居发现协议的不断演变历程和存在的问题,分析了快速邻居发现机制的性能,展望了邻居发现协议的发展趋势.     

下一代因特网IS-ISv6协议一致性测试系统设计

介绍了一种IS-ISv6协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析。     

IPv6无线传感器网络协议测试系统

从IPv6无线传感器网络协议测试的角度,结合IETF,IEEE国际标准,对当前IPv6无线传感器网络协议测试技术进行了分析和研究,阐明了IPv6无线传感器网络协议测试的主要内容,提出了一种IPv6无线传感器网络协议测试系统的设计方案。     

IMS终端协议一致性测试浅析

首先介绍IMS基本网络架构,接着重点指出IMS终端设备接入核心网及业务平台的接口及协议,并总结了终端设备常用的认证方式、能力协商模式、会话修改的不同消息以及信令协商和媒体通信时可能存在的问题等。本最后提出一种IMS终端协议一致性测试系统的设计方案,其中包括协议一致性测试系统的框图、基本要求及设计要点等,以期望达到多媒体终端设备在不同应用场景下良好互通的目标。     

3GPP中的协议一致性测试研究

随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 3G协议实现之间能够互操作 ,一致性测试是非常必要的。文中根据笔者在 3GPP中T1信令组工作背景为基础 ,并以MAC部分测试结构和方式为例 ,给出了形式化的TTCN格式。全面的论述了 3GPP中的协议一致性测试过程     

DMR空中接口协议一致性测试技术的研究

文章介绍了DHR的产生、发展以及DMR协议体系结构。基于协议一致性测试的基本概念,划分出了DHR协议一致性测试集,分析了一种特定的DMR一致性测试系统,对基站DLL层的一致性测试进行了具体的分析和研究。