由IEEE制定的802.16e标准针对移动无线宽带接入，该标准旨在802.16d固定无线宽带接入标准的基础上支持移动业务、小区间切换和多小区组网。因此，该协议的大部分内容用于加强对移动性的支持。对切换的支持包括：定义了切换(包括软切换)过程，明确了切换的MAC层信令，完善了切换过程中的测距(ranging)操作，增加了可选的软切换功能等。为了验证实现是否满足协议标准，对协议实现的一致性测试的需求非常强烈，而且协议一致性测试也是互操作性测试、性能测试和健壮性测试的基础。因此，进行相关领域的研究和探讨具有双重意义，也可为实际的应用提供参考解决方案。目前，标准欧洲标准化组织ETSI已经制定了比较完整的针对802.16d的协议一致性测试套，而802.16e标准的测试目前还出于空白阶段。因此，开发802.16e协议一致性测试套是非常有意义的。本论文面对如此背景和需求驱动，在对802.16d标准、802.16e标准、协议一致性测试理论、测试语言、ETSI开发的802.16d测试套进行深入理解与研究的基础上，扩展了802.16d现有测试套的测试例，使其更加完整；同时，针对802.16e MAC层移动切换功能设计了2个抽象测试套8个测试组共38个测试例，包括MS网络拓扑的获取、硬切换过程等各个方面，涵盖了移动切换的主要功能。本论文的叙述过程如下：首先，叙述802.16标准化状况，详细介绍了802.16d标准和802.16e标准。802.16e标准支持移动性，本论文协议一致性测试就是针对802.16e协议中的移动切换部分。其次，对协议一致性测试理论和标准测试语言TTCN-3进行概括和理论探讨，同时对本论文使用的TTCN-3的编译器TTWorkBench进行了介绍。然后，介绍了802.16d协议一致性测试现状，并对现有的由欧洲标准化组织ETSI开发的802.16d协议一致性测试套进行了深入的研究，而且对它进行了一定程度扩展。最后，在802.16d现有测试套的基础上，针对802.16e MAC层的移动切换功能进行了协议一致性测试套的设计与实现。