无线局域网(WLAN)具有灵活的移动能力和足够高的传输速率,是日常应用中比较普遍的一种无线组网形式。然而,随着应用的逐渐广泛,其安全问题也越来越突出并且已成为一个研究热点。目前,WLAN协议的漏洞已经越来越多的被发现,如WEP协议中的漏洞,因此专业人员制订了安全性更高的新的WLAN安全协议,如IEEE的802.11i和中国的WAPI标准。一致性测试是协议工程中非常重要的一个环节,主要检测所实现的安全协议是否符合协议规范,为协议能够正常运行和抵御攻击提供基础保证。在通信网络中,越来越多的新协议诞生,每一个协议在真实环境中运行之前,都必须进行一致性测试以保证其正确性和规范性。本文根据项目的需求,对课题中的WLAN安全接入协议进行一致性测试。首先根据协议工程原理,以形式化方法对WLAN安全接入协议中的接入认证过程进行分析；其次借鉴协议一致性测试原理,对WLAN安全接入协议一致性测试的方案进行了设计；最后,根据所设计的方案实现了一致性测试系统。本文的一致性测试采用了被动测试和主动测试相结合的方法。一致性测试系统主要对被动测试系统进行了实现。该系统集成了对802.11b协议的安全接入部分和对课题中的WLAN安全接入协议3PAKE的被动测试,而且提供了友好的人机界面,方便用户使用；对主动测试,采用了OSI 9646标准中的TTCN-3标准测试语言,用该语言对测试序列进行描述,不仅能够高效、统一地生成测试序列而且测试过程中更加标准化。