随着无线局域网(WLAN)技术的飞速发展,无线局域网应用领域越来越广泛了,其上的协议最终成为人们研究的焦点。协议开发过程是一个一体化的过程,对协议的一致性测试也是其中一个重要的环节。同时,根据无线协议本身的特点,使得对其进行一致性测试更加必要。文章针对这些具体问题,从实际情况出发,首先以IEEE802.11 b为蓝本对被测协议实体和协议交互过程进行分析,提出了WLAN协议一致性测试的方法。根据此方法从被动和主动两方面对项目组实现的无线局域网快速切换协议(WLAN Secure Fast Handover Protocol, WSP-H)进行了一致性测试。其中,被动测试借助有限状态自动机(Finite State Machine, FSM)对协议进行描述,利用有限状态自动机对自然语言描述的协议进行实体建模,从协议设计规范出发,确定状态机的状态转移和状态转移条件,设计了协议交互实体——认证者AP、客户端STA和认证服务器AS的有限状态机模型。实现过程中主要解决了局域网数据包的捕获、过滤和分析等关键技术；主动测试基于TTCN-3形式化描述语言,重点研究了TTCN-3核心语言中的模块,同时分析了现有的测试框架——T3DevKit软件包,学习了接口和适配器的开发方法。最后,设计并实现了协议一致性测试系统,搭建了实验平台,发送并捕获协议交互数据包,完成了对项目组自行设计并实现协议的一致性测试。经过反复测试结果表明所实现的测试系统验证了协议实现的一致性。整个测试系统基于对话框,简约、高效,满足了应用需求。