一种协议一致性测试序列生成算法的改进研究及其验证
发布时间：2019-01-03 14:42
【摘要】：协议是设备在互相通信时双方都必须遵守的准则,设备中的协议实现都是由协议开发人员根据标准的协议规范文本进行开发实现的,不同的人员或者厂商的实现方式可能不同,协议一致性测试就是用于保证协议实现与协议规范之间没有偏差,且为进一步保证设备之间的正常通信打下了基础。协议一致性测试中很关键的一部分就是如何生成满足要求的测试序列,本文从形式化方法出发,对目前常用的一些测试序列生成算法进行了分析研究,详细介绍了它们的求解方法,并基于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协议的抽象建模和一致性测试研究也为后续协议实现设备的质量检测提供了保障。
[Abstract]:Protocol is the standard that both parties must abide by when communicating with each other. The protocol realization in the device is developed by the protocol developer according to the standard protocol specification text. Protocol conformance testing is used to ensure that there is no deviation between protocol implementation and protocol specification, and lay the foundation for further ensuring the normal communication between devices. The key part of protocol conformance testing is how to generate test sequences that meet the requirements. In this paper, some commonly used test sequence generation algorithms are analyzed and studied based on formal methods. Their solution methods are introduced in detail, and based on UIO sequence (Unique Input/Output Sequences), an improved test sequence generation method is proposed. It has good error detection performance and can be adjusted flexibly according to different test requirements. The resulting test sequence is also shorter in length. Not only that, this paper also implements this method, and completes a general automatic test sequence generation tool, which is used to simplify the manual steps in conformance testing and improve the test efficiency. Low-power lossy networks (Low-Power and Lossy Networks, LLN) are different from traditional IP networks, where nodes often have only limited computing and processing power and energy supply. Some existing protocols can not meet the routing requirements under this condition. So IETF (Internet Engineering Task Force) 's ROLL working Group has proposed a new routing protocol for low-power lossy networks, RPL (IPv6Routing Protocol for Low-Power and Lossy Networks).) In this paper, the RPL protocol is analyzed and studied, and a mathematical representation model of RPL protocol based on finite state machine is proposed. The model is solved by using the improved test sequence generation algorithm, and the conformance test sequence of RPL protocol is obtained. On this basis, a protocol conformance testing system is implemented, and a RPL protocol is used to implement the conformance test of the device. The work of this paper provides a new method for test sequence generation in protocol conformance testing. The automatic test sequence generation tool and conformance testing system can reduce the labor in protocol testing and realize test automation. In addition, the abstract modeling and conformance testing of RPL protocol in this paper also provide a guarantee for the implementation of equipment quality inspection in subsequent protocols.
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.04
本文编号：2399521
[Abstract]:Protocol is the standard that both parties must abide by when communicating with each other. The protocol realization in the device is developed by the protocol developer according to the standard protocol specification text. Protocol conformance testing is used to ensure that there is no deviation between protocol implementation and protocol specification, and lay the foundation for further ensuring the normal communication between devices. The key part of protocol conformance testing is how to generate test sequences that meet the requirements. In this paper, some commonly used test sequence generation algorithms are analyzed and studied based on formal methods. Their solution methods are introduced in detail, and based on UIO sequence (Unique Input/Output Sequences), an improved test sequence generation method is proposed. It has good error detection performance and can be adjusted flexibly according to different test requirements. The resulting test sequence is also shorter in length. Not only that, this paper also implements this method, and completes a general automatic test sequence generation tool, which is used to simplify the manual steps in conformance testing and improve the test efficiency. Low-power lossy networks (Low-Power and Lossy Networks, LLN) are different from traditional IP networks, where nodes often have only limited computing and processing power and energy supply. Some existing protocols can not meet the routing requirements under this condition. So IETF (Internet Engineering Task Force) 's ROLL working Group has proposed a new routing protocol for low-power lossy networks, RPL (IPv6Routing Protocol for Low-Power and Lossy Networks).) In this paper, the RPL protocol is analyzed and studied, and a mathematical representation model of RPL protocol based on finite state machine is proposed. The model is solved by using the improved test sequence generation algorithm, and the conformance test sequence of RPL protocol is obtained. On this basis, a protocol conformance testing system is implemented, and a RPL protocol is used to implement the conformance test of the device. The work of this paper provides a new method for test sequence generation in protocol conformance testing. The automatic test sequence generation tool and conformance testing system can reduce the labor in protocol testing and realize test automation. In addition, the abstract modeling and conformance testing of RPL protocol in this paper also provide a guarantee for the implementation of equipment quality inspection in subsequent protocols.
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.04
【参考文献】
相关期刊论文 前7条
1 孙涛;叶新铭;刘靖;杨蒙;;一种基于CPN的协议测试序列生成方法[J];解放军理工大学学报(自然科学版);2012年02期
2 龚正虎;利用CCS的协议描述与验证技术的研究[J];计算机研究与发展;1995年03期
3 喻星;尹霞;王之梁;陈东洛;;IPv6中RIPng协议的一致性测试研究与实践[J];计算机工程;2006年20期
4 李正良,周颢,赵保华;IPv6中OSPF协议的一致性测试系统设计[J];计算机应用;2005年04期
5 黎中文;张来顺;何焱;;基于FSM的测试序列生成方法研究[J];计算机应用研究;2011年09期
6 王小银;;基于UIO序列的状态机测试序列生成算法[J];昆明理工大学学报(理工版);2009年05期
7 朱琳;高德云;罗洪斌;;无线传感器网络的RPL路由协议研究[J];计算机技术与发展;2012年08期
，本文编号：2399521
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/2399521.html
