论文部分内容阅读
协议是设备在互相通信时双方都必须遵守的准则,设备中的协议实现都是由协议开发人员根据标准的协议规范文本进行开发实现的,不同的人员或者厂商的实现方式可能不同,协议一致性测试就是用于保证协议实现与协议规范之间没有偏差,且为进一步保证设备之间的正常通信打下了基础。协议一致性测试中很关键的一部分就是如何生成满足要求的测试序列,本文从形式化方法出发,对目前常用的一些测试序列生成算法进行了分析研究,详细介绍了它们的求解方法,并基于UIO序列(Unique Input/Output Sequences),提出了一种改进的测试序列生成方法,它具有较好的错误检测性能,且能够灵活的根据不同的测试需求进行调整,最终生成的测试序列长度也较短。不仅如此,本文还对此方法进行了实现工作,完成了一个较为通用的测试序列自动生成工具,用于简化一致性测试中人工的步骤,提高了测试效率。低功耗有损网络(Low-Power and Lossy Networks, LLN)不同于传统的IP网络,其中的节点往往只具有有限的计算和处理能力以及能量供应,现有的一些协议并不能满足这种条件下的路由需求,因此IETF(Internet Engineering Task Force)的ROLL工作组推出了一种新的针对低功耗有损网络的路由协议即RPL(IPv6Routing Protocol for Low-Power and Lossy Networks)。本文对RPL协议进行了分析和研究,提出了基于有限状态机的RPL协议数学表示模型,并利用改进的测试序列生成算法对此模型进行了求解,得到了RPL协议一致性测试序列。在此基础上,实现了一套协议一致性测试系统,并利用此系统完成了对一种RPL协议实现设备的一致性测试。本文的工作为协议一致性测试中的测试序列生成提供了一种新的方法,实现的测试序列自动生成工具和一致性测试系统减少了协议测试中的人力劳动,实现了测试自动化,此外,本文对RPL协议的抽象建模和一致性测试研究也为后续协议实现设备的质量检测提供了保障。