论文部分内容阅读
近年来无线移动通信网络的获得了飞速的发展。随着3G网络的推出到普及,一些实时性的无线通信业务(移动视频直播、视频会话、网络游戏、网络电视等)被应用的越来越广泛,人们对于无线通信网络在于可靠性、安全性、实时性、传输速度上的要求越来越高,关于无线通信网络的研究也是目前的研究热点问题之一。.3G网络在用户接入部分是由基站以及连接基站的用户所组成,对于每个基站及其信号范围内连接的无线通信用户,它们共同构成了一个以3G信号基站为发射点的无线局域网环境WLAN。无线移动通信网络的很多研究集中在无线局域网上,本文对于无线局域网的研究主要包括以下几点：(1)提出了一种基于模型的无线协议的安全性测试方法本文尝试将基于模型的测试引入到协议的安全性测试中,提出了一整套的基于模型的协议安全性测试流程,对于,802.1x协议就测试流程、测试精确度、可扩展性等几个方面比较了协议一致性安全测试和基于模型测试,结果表明基于模型的协议安全性测试有着非常明显的优势。(2)提出了一个基于模型的自动化测试(MBAT:Model-based Automatic)系统根据基于模型的协议安全性测试流程,本文提出一个基于模型的自动化测试系统一-MBAT系统,MBAT系统以待测对象的模型为输入,对于模型进行自动化分析和提取,生成待测对象的所有测试序列,自动化执行测试脚本,生成测试结果。(3)提出了基于关系模型和代码块Block的测试序列筛选方法在执行基于模型的协议安全性测试过程中,当待测对象版本发生改变时,为了更好的利用旧版本的测试序列,将测试工作的重心放在和改动相关的模块上,尽量减少冗余测试序列的生成和执行,本文首先以待测对象和测试序列之间的对应关系构建了一个关系模型,提出了一个基于关系模型的测试序列筛选方法CSBR(Case Selection Based On Relationships),同时通过将关系模型中的每个函数划分成了数个代码块(Block)提出了一个改进的测试序列筛选方法一——ICSBR方法,仿真与试验结果表明ICSBR方法能够更好的解决测试冗余问题。(4)无线局域网可靠视频多播研究本文首先构造了一个局域网的多播模型：在一个有着多个多播组的无线局域网里面,这些多播组通过他们的SNR进行分组,通过一个基站给这些多播组进行视频多播。在多播的时候为了提高系统吞吐量使用了可伸缩视频编码技术(SVC:Scalable Video Coding)和自适应的调制编码技术AMC:Adaptive Modulation and Coding),同时为了保证传输可靠性在应用层使用了混合的FEC&&ARQ技术(Forward Error Correction and Automatic Repeat Request)。本文研究的重点是如何根据这三种技术选择适当的发送调制方式,首先本文证明了这是一个NP-hard问题,对该问题提出了一个优化算法。为了验证优化算法的效率,本文使用了一个资源分配的贪心算法与之相比较。