管理般架构报文格式管理信息库轻量级简单网络管理协议轻量级报文格式轻量级报文传输机制网关上的代理转发器轻量级在的实现本章小节第三章协议的致性测试技术协议致性测试的基本概念协议致性测试步骤及测试集规划致性测试方法协议的致性测试方法测试框架关键技术本章小节第四章轻量级致性测试研究轻量级致性测试集规划轻量级报文格式致性测试测试集规划对象致性测试测试集规划测试过程描述轻量级报文致性测试过程描述致性测试过程描述本章小节第五章轻量级测试例实现万方数据定义测试数据类型数据类型定义轻量级数据类型测试数据定义测试配置定义测试行为定义行为语句和测试例的定义对象的测试例本章小节第六章总结与展望论文工作总结后续工作展望参考文献致谢万方数据南京邮电大学专业学位硕士研究生学位论文第章绪论第章绪论研究背景和意义的研究背景近年来，无线技术的应用越来越广泛，尤其是对控制网络和信息网络，如无线传感器网络，。在无线传感网络传感网络技术中，制约网络节点间相互连接的最大因素就是无线通信问题，而无线传感网络具有极端低功耗和极低的成本等特征，这成为无线传感网络向互联网发展的必要推动力量。无线传感器网络广泛的应用前景使得互联网标准化组织也加入到相应的标准化制定中。但实际应用中的无线传感网络还存在很多问题，例如，接入互联网时不能实现端到端的数据传输和控制。和很多研究者对这个问题进行了改进，并且证明了相比于，可以更简单的在低功耗资源受限的设备上运行，所以，基于的无线传感器网络技术得以迅速发展。年，标准被提了出来，即低速无线个人局域网协议它是无线标准的网络技术。标准具有低功耗低数据速率低复杂度的短距离网络特征，而且此标准对于较低层物理层和链路层的应用是非常有前途的。之前，许多研究者认为将协议应用于无线通信网络是不可现实的，因为互联网协议对设备的内存和网络的带宽要求比较高，工作中的难点就是降低互联网对运行环境的要求并且建立低功耗的无线连接。基于，工作组发布了草案标准实现了基于的通信，这个草案很有希望解决这些难题。年月，工作组正式成立了基于的低速无线个人局域网，的工作组，该工作组的主要工作是把引入以为底层标准的无线个人局域网，从而解决报头太大无法应用于无线传感器网络的问题，这个标准目前仍处于草案阶段。目前地址面临逐渐耗尽的问题，而技术在互联网以及物联网方面的普及，的应用前景和发展空间将会非常广泛。万方数据南京邮电大学专业学位硕士研究生学位论文第章绪论协议致性测试研究背景协议测试可以分为致性测试互操作性测试性能测试和健壮性测试。而协议的致性测试时其他三种测试的前提和基础，是为了保证协议的实现和部署是否和标准相致。因为标准的协议般是用自然语言描述的，不同的实现人员对时间间隔字段是指网络管理工作站想从代理获得消息的时间间隔，这个字段的大小为，表显示了新的运行机制下类型及其相应的类型值，通过运用这两个新消息机制，网络间通信量明显减少。这样来，轻量级相对于标准的增加了两个类型，表中显示了轻量级的类型及其作用。表轻量级报文中类型类型名称作用描述从代理进程处获取变量值从代理进程处获取变量的下个变量值返回变量值对代理进程的设置变量值从代理进程高效率的读取大块数据管理进程之间发送信息些事情发生时，代理进程主动向管理进程发出的报文向管理进程报告安全参数从代理进程处定期的获取变量值取消定期取值万方数据南京邮电大学专业学位硕士研究生学位论文第二章轻量级简单网络管理协议网关上的代理转发器代理转发器把网络管理站的消息转发给指定的实体，网关的个很重要的应用就是各种协议版本之间的转换，比如，支持版本的实体想和支持版本的实体进行通信，此时网关代理就起到了协议转换的作用。同样的，的网关也是这个作用，运用前面提到的压缩报文头的方法，实现了标准和轻量级之间的转换，把当前的版本的消息格式转换成相应的轻量级报文格式。代理转发器基于网关，它的作用不仅仅起到转换协议转发的功能，轻量级代理转发器能自动的把原来的协议传输机制转成新的传输机制。代理转发器能自动检测到多播或者广播周期的消息。当基于标准版本的网络管理工作站，周期性的向网络里的主机发送请求，此时，轻量级网关转发器的作用就是优化这些消息，减少消息的大小以及数量，使得网络间的通信量有所减少。代理转发器转发机制的工作原理是，起初，代理转发器把标准的转换成轻量级并转发给代理节点，当代理转发器检测到网络管理站周期性发来的多播或者广播消息时，就立刻停止转发，取而代之，它会产生个消息并发送至实体，实体节点检测到时间间隔，向代理转发器周期的回复消息。旦代理转发器检测到收到的消息有变动，比如请求时间间隔的变化被管实体的增加或者减少或者没有消息，它就会重新向代理实体发送个消息或者消息。总之，通过把针对不同代理的很多消息聚合成广播或多播的消息，再加上对标准的压缩和转换，能大大减少网络间的通信量。通过对标准报文头部的压缩以及新的协议传输机制的实现，在网络中，使用轻量级比使用标准的减少大约的通信量。轻量级在的实现网络中，轻量级网络架构如图所示，轻量级在网络中的实现包括两个方面的实现轻量级代理节点的实现和轻量级网关的实现。万方数据南京邮电大学专业学位硕士研究生学位论文第二章轻量级简单网络管理协议图轻量级在上的部署轻量级代理节点的实现轻量级代理节点的实现是基于系统，用程序开发的。节点的设计是基于的，轻量级代理节点包括了四部分消息调度器消息处理器命令相应器和组件，图中显示它们之间的连接关系。图轻量级节点组成结构消息调度器的主要实现轻量级的收发功能命令相应器主要负责处理轻量级和变量绑定消息组件实现了的结构组织，而且可以实现以支持类型和类型。轻量级网关的实现基于网关的代理转发器是用的开源库实现的，主要根据其功能进行开发。首先，代理转发器要起到协议转换的作用。把网络管理工作站发来的标准消息通过压缩报文头部和变量绑定部分转换为轻量级。其次，当有持续的消息发来时，代理转发器能识别时间间隔并产生新的消息。最后，实现的代理转发器还要确保能成功到达节点，否则这些持续的消息就失效了。对于，默认的传输层协议时，它提供不可靠的端到端服务，所以要保证的传输成功，需要在节点上实现回复传输机制。万方数据南京邮电大学专业学位硕士研究生学位论文第二章轻量级简单网络管理协议本章小节是资源严重受限的网络，所以标准的协议必须经过改进才能应用于网络中，目前还没有标准的文档规范轻量级。本章分别研究了标准的协议的文档以及基于的的最新草案，比较了轻量级和标准的区别，详细的概括出了适用于的轻量级协议，描述了包括协议的报文格式系统框架以及在的具体实现方法。万方数据南京邮电大学专业学位硕士研究生学位论文第三章协议的致性测试技术第三章协议的致性测试技术协议致性测试的基本概念协议测试是用来检测个协议功能是否满足需求时种手段，因为协议的标准描述不定能保证协议实现之间正常的通信。通常需要对新的协议进行多项测试，才能得到验证。对协议测试主要包括以下四个方面的测试•致性测试•互操作测试•性能测试•鲁棒性测试协议致性测试是用来检测具体实现的协议是否与协议的标准规范相致的过程。目前基本上都是使用自然语言来描述协议的标准规范，而实现者对协议标准规范的不同理解会导致协议的不同实现，有时实现会是错误的。因此，标准化的协议规范并不能确保每种协议实现之间能进行互连互通，协议致性测试是对协议实现的正确性以及有效性进行判别的有效方法。协议的致性测试属于黑盒测试，协议致性测试的过程主要关心协议的具体实现在不同的环境和条件下的反应，然后将这些反应与协议的标准文本进行对比，检查是否遵守标准文本的规定，最后得出种实现是否与标准文本相致的结论。协议致性测试的目的是为了找出协议实现与规范不致的地方，但是协议的致性测试并不是完全无漏洞的测试，因为对个系统进行无穷尽的测试是不现实的，所以即使通过了致性测试的实现也并不能保证是百分之百可靠性，但定的程度上保证了协议的实现与其标准规范是相致的，从而提高了协议之间互操作的概率。相对于其他类型的测试，致性测试具有很多优点，比如测试结果可比较测试代价小等，对新的协议进行致性测试成为该协议进入市场和应用之前最重要的种测试。随着对协议致性测试需求的增加，对致性测试的规范也有定的要求。是国际标准组织专门制定了套针对协议致性测试的标准，它提供了协议的致性测试的标准，制定了测试集规划的描述方法。它由七个部分组成基本概念抽象测试集技术规范树表组合表述法万方数据单位代码密级专业学位硕士论文论文题目轻量级协议致性测试技术研究袁菲杨龙祥工程硕士申请全日制申请电子与通信工程学号姓名导师专业学位类别类型专业领域论文提交日期万方数据万方数据南京邮电大学学位论文原创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。本人学位论文及涉及相关资料若有不实，愿意承担切相关的法律责任。南京邮电大学学位论文使用授权声明本人授权南京邮电大学可以保留并向国家有关部门或机构送交论文的复印件和电子文档允许论文被查阅和借阅可以将学位论文的全部或部分内容编入有关数据库进行检索可以采用影印缩印或扫描等复制手段保存汇编本学位论文。本文电子文档的内容和纸质论文的内容相致。论文的公布包括刊登授权南京邮电大学研究生院办理。涉密学位论文在解密后适用本授权书。研究生签名日期研究生签名导师签名日期万方数据摘要是在年由工作组制定的技术，主要研究怎样把技术和无线传感网络技术相结合起来。随着在各个领域的应用越来越广泛，的网络管理系统显得愈发重要，良好的网络管理系统可以保证网络可靠稳定并且高效的运行，对基于的网络管理协议的致性测试的研究也有着越来越高的需求。论文重点研究了两方面内容基于的轻量级协议轻量级致性测试方法测试集规划以及测试集实现。论文首先深入研究了标准的协议文档以及基于的的最新草案，概括出了适用于的轻量级协议，并详细描述了其网络架构报文格式以及管理信息库的设计