WIA-PA协议作为重要的工业无线网络协议之一,研究针对WIA-PA协议的漏洞检测方法对于工业控制系统的安全稳定运行具有重要意义。模糊测试技术是一种有效的漏洞检测技术,现有的模糊测试方法在对WIA-PA协议进行测试时存在测试数据冗余,漏洞检测效率低等问题。为此,本文针对WIA-PA协议开展模糊测试方法的研究,本文的主要研究内容如下:首先,针对现有模糊测试方法测试数据冗余,漏洞检测效率低等问题,本文提出了基于EFSM的WIA-PA协议模糊测试方法。首先对WIA-PA协议的入网、运行、离网等通信行为建立EFSM模型,设计了一种基于变量值域的状态分割方法,得到等效最简的FSM模型,利用UIO方法生成测试序列,将测试序列作为生成模糊数据的种子,依据协议字段关联关系的变异策略来生成具体的模糊数据,检测协议中可能存在的漏洞。其次,根据上面的方法实现了一款面向WIA-PA协议的模糊测试软件。测试软件主要包括协议脚本处理模块、测试序列生成模块、模糊数据生成模块、模糊测试执行模块、异常监控模块以及日志记录模块等部分。脚本处理模块解析用户输入的WIA-PA协议脚本文件,生成EFSM模型;测试序列生成模块生成测试序列,作为数据生成模块的输入;测试执行模块则将数据生成模块生成的模糊数据发送给被测对象,控制整个测试执行过程;异常监控模块监控被测对象的运行情况;整个测试过程中产生的数据由日志记录模块进行记录,方便用户后续开展漏洞分析工作。最后,本文搭建了真实的WIA-PA协议测试环境,对本文设计的模糊测试软件进行了功能验证和性能分析。实验结果表明,本文设计的模糊测试软件能够降低模糊测试数据的冗余,提高漏洞检测效率,具有一定的漏洞检测能力。