轻量级IPSec协议一致性测试集及测试用例开发——基于IPv6的无线传感网

摘要

IPSec协议作为IPv6协议的一个重要组成部分，不仅有与IPv6协议有良好的结合性的特点，还有能够提供数据完整性保护和数据加密等功能，并且这些功能可以通过通信双方事先协商还灵活配置。但是无线传感器节点存在存储空间和计算能力有限，供电能力较弱等问题。为了得到符合无线传感网应用环境要求的IPSec协议，我们必须对传统 IPSec协议进行裁剪。在裁剪完成之后，为了保证实现我们的轻量级 IPSec协议的不同实现方的产品能够彼此通信，也就是实现方的产品与我们的协议拥有一致性，必须对不同实现进行协议一致性测试。
　　本文首先分析了基于IPv6的无线传感网的应用场景，根据无线传感网的特点对IPSec协议进行了裁剪，修改了 IPSec协议中的一些参数，得到了适用于无线传感网应用场景的轻量级 IPSec协议。为了方便后续编写测试用例，裁剪协议的过程中，论文还给出了各个功能的处理流程图；然后，根据一致性测试方法理论设计了一种适用于基于IPv6的无线传感网的一致性测试系统，并说明了该系统的结构和使用方法；最后，研究了一致性测试用例的开发流程和测试集规范，并根据轻量级IPSec协议的一致性要求，使用ISO/IEC-9646及TTCN-3语言开发了轻量级IPSec协议的一致性测试集及测试用例。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1课题研究背景

1.2课题研究意义

1.3论文主要工作及论文结构

第二章 IPSec协议的裁剪

2.1 IEEE 802.15.4简介

2.2 6LoWPAN网络

2.3裁剪IPSec协议

2.4本章小结

第三章 一致性测试理论及测试系统

3.1协议一致性测试

3.2抽象测试上下文

3.3四种典型的抽象测试方法

3.4一种测试系统设计方案

3.5测试系统不同测试方法的应用场景

3.6本章小结

第四章 轻量级IPSec协议测试集及测试用例开发

4.1抽象测试集

4.2协议一致性需求

4.3测试用例

4.4轻量级IPSec协议安全策略一致性测试

4.5轻量级IPSec协议出站包一致性测试

4.6轻量级IPSec协议入站包一致性测试

4.7本章小结

第五章 总结与展望

参考文献

致谢