基于OPNETIEEE802.15.4协议仿真模型一致性测试.docVIP

基于OPNETIEEE802.15.4协议仿真模型一致性测试 　　摘 要 协议一致性测试是用于检测协议实现与协议标准的符合程度，对保证协议的实现质量具有非常重要的作用。论文针对所开发的基于OPNET的IEEE802.15.4协议仿真模型，设计并实现了一致性测试系统和相应的测试用例，以CSMA/CA为例说明了测试过程，验证了仿真模型的正确性。 　　关键词 协议一致性测试；IEEE802.15.4；OPNET；仿真模型 　　中图分类号 TP393 文献标识码 A 文章编号 1674-6708（2015）130-0180-02 　　0 引言 　　随着计算机网络技术的迅速发展和各种新应用的不断出现，网络规模急剧增大，结构也越来越复杂，因此高效稳定的网络协议是保障网络性能的重要因素。然而，协议本身一般是基于自然语言来描述的文本，由于对协议文本的理解不同，实现者在实现这些协议时会产生不同的甚至错误的结果，因而正确的协议实现对确保网络的可靠性和准确性有着极其重要的作用[1]。一致性测试由ISO9646国际标准[2]给出了一个基本的方法和框架，为测试系统的实现提供了理论上的指导和帮助。 　　由于目前缺乏对IEEE 802.15.4簇树网络的有效仿真平台，我们在OPNET仿真模型库的基础上，设计并实现了支持簇树网络的IEEE802.15.4协议仿真模型[3]。本文对该仿真模型进行测试，从OPNET仿真模型的特点出发，设计了一致性测试系统，并给出了测试例和测试结果，验证了该仿真模型是否满足协议规范，便于以后该仿真模型的实际应用。 　　1 IEEE802.15.4通信协议及其仿真模型 　　IEEE802.15.4工作组于2003年初步定义了物理层（PHY）和媒体接入控制层（MAC）的相关内容，该标准以低功耗、低成本为设计的主要目标，定义了两个物理层标准：868/915M物理层和2.4GHz物理层。物理层主要完成激活和休眠无线射频收发器、信道能量检测、空闲信道评估等功能。MAC层的主要功能是：信标帧管理、支持WPAN网络的关联（association）和取消关联（disassociation）操作、使用CSMA/CA机制访问信道、支持无线信道通信安全、支持时槽保障（guaranteed time slot ， GTS）机制等。 　　OPNET采用基于包的建模机制来模拟实际网络中设备之间的包流动以及处理过程，其仿真模型共分三层实现。最上层为网络层，反映了具体的网络仿真环境配置；中间层为节点层，反映了设备的属性，由相应的协议模型组成；最底层为进程模型，由状态和状态转移组成，可以编写操作代码，是对协议和算法的描述。IEEE802.15.4协议仿真模型如图1所示。 　　图1 IEEE802.15.4协议仿真模型 　　2 IEEE802.15.4仿真模型的一致性测试系统 　　ISO9646针对PCO（Point of Control and Observation）的位置不同定义了不同的测试方法，可分为本地测试法、分布测试法、协调测试法和远程测试法。根据OPNET仿真模型本身的特点，论文将采用本地测试法进行测试。 　　在本地测试法中，测试执行系统UT（Upper Tester）、LT（Lower Tester）和 IUT（Implementation Under Test）在同一台机器上。LT 和 UT 分别在IUT的上下接口处通过交换事件来观察IUT的行为，并由测试的协调过程进行协调。本地测试法具有测试功能最强、UT和LT之间同步与协调容易等优点[4]。 　　在该OPNET测试系统中，UT、LT和IUT是在同一个系统中完成的。首先通过应用层的通信设置对IUT输入激励，然后运行仿真来完成测试过程，最后通过OPNET生成的输出文件可以查看测试结果，作为测试判断的依据。因此仿真软件本身具有上下测试器的功能。OPNET测试模型如图2所示。 　　3 协议测试用例的设计和实现 　　3.1 一个测试例的实现 　　测试套是测试例的集合，每一个测试例都对应了协议的一个功能点。在设计该系统的一致性测试套时，首先标识IEEE802.15.4协议的功能点，然后针对每一个功能点编写测试例，生成的测试套可分为信标帧管理、CSMA/CA机制访问信道、GTS机制等。 　　图2 OPNET测试模型 　　本文对仿真模型的时隙CSMA/CA通信在信道忙时的测试为例说明测试例的实现，测试过程是通过应用层的参数配置向IUT输入激励，从仿真模型的输出文件观察IUT的响应，判断IUT是否按照协议规定的标准来执行回退操作，给出测试判定的结果。测试例的实现框架 　　如下： 　　根据上面的测试例，构建了一个含有3个无线模块的信标网络， node_0为网络协调器，no