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

作　　者：谢昊飞[1] 苏德龙[1] 肖尚青 郝飞飞[1] 

机构地区：[1]重庆邮电大学自动化学院,重庆400065

出　　处：《计算机光盘软件与应用》2014年第24期111-112,共2页Computer CD Software and Application

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

关 键 词：WIA-PA协议 FSM模型 形式化模型 UIO序列 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]