论文部分内容阅读
随着计算机网络技术的飞速发展和广泛应用,物联网已经成为一种重要的新型网络广泛应用于各个领域。物联网可以通过嵌入式无线网络来实现。6LoWPAN (IPv6over Low-power Wireless Personal Area Network)是在IEEE802.15.4的基础上实现IPv6的通信,可以将无线局域网与互联网连接起来,从而实现物联网的相关功能。IETF(Internet Engineering Task Force)工程任务组成立的6LoWPAN工作组,专门从事基于IEEE802.15.4标准的IPv6协议栈的研究工作。6LoWPAN技术的功能主要通过协议栈中的适配层来实现IPv6网络层与链路层的连接。6LoWPAN的网络层使用IPv6标准,底层使用IEEE802.15.4标准,6LoWPAN的创新之处在于实现了IPv6与IEEE802.15.4的连接。协议是网络通信的核心技术,没有良好的协议作为支撑,低速无线个域网稳定性很难保证,整体节能也难以实现,其低功耗市场竞争优势便不复存在。因此需要对协议进行测试以验证协议实现的正确性。本文基于CPN和TTCN-3对6LoWPAN适配层的一致性测试进行了以下研究：首先,分析了6LoWPAN研究工作组已有的说明文档以及6LoWPAN基于的两个标准即IPv6协议栈和IEEE802.15.4标准,重点分析了6LoWPAN适配层的协议规范,根据协议规范设计并实现了适配层核心功能作为本文的被测系统。其次,利用CPN工具对6LoWPAN适配层的基本功能建立层次化的CPN模型,由CPN模型自动生成的可达图,遍历可达图生成测试序列,根据适配层测试需求提取相关测试序列。最后,根据测试序列为适配层一致性测试设计测试用例,根据TTCN-3抽象测试套设计方法利用TTworkbench工具编写TTCN-3测试例组成抽象测试套,编写相应的适配器和编解码实现适配层核心功能的一致性测试。