|
|||||
|
|
| 基于FSM的WIA-PA协议测试序列自动生成技术研究 | |
| 引用本文： | 谢昊飞,苏德龙,肖尚青,郝飞飞.基于FSM的WIA-PA协议测试序列自动生成技术研究[J].计算机光盘软件与应用,2014(24):111-112. |
| 作者姓名： | 谢昊飞 苏德龙 肖尚青 郝飞飞 |
| 作者单位： | 重庆邮电大学自动化学院,重庆400065 |
| 摘 要： | 本文重点介绍基于有限状态机（FSM）测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型,文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出,在此基础上建立了现场设备安全入网测试的FSM模型。然后在FSM模型基础上,采用UIO方法生成测试序列。 |
| 关 键 词： | WIA-PA协议 FSM模型 形式化模型 UIO序列 |
| 本文献已被 维普 等数据库收录！ | |