Modbus协议一致性测试的形式化方法

摘要：

首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性.

关键词：Modbus、一致性测试、形式化

所属期刊栏目：30

分类号：TP393.09(计算技术、计算机技术)

资助基金：陕西省教育厅科研计划项目2010JK668;西安市科技计划项目CXY090154

在线出版日期：2011-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：164-165