基于FSM的WIA-PA协议测试序列自动生成技术研究

摘要

本文重点介绍基于有限状态机（FSM）测试序列生成方法，并以现场设备安全入网为例，利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型，文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出，在此基础上建立了现场设备安全入网测试的FSM模型。然后在FSM模型基础上，采用UIO方法生成测试序列。