1. 首页
  2. 移动开发
  3. 其他
  4. Modbus协议一致性测试的形式化方法

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

上传者: 2020-08-10 08:50:02上传 PDF文件 120.74KB 热度 17次
首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性。
下载地址
用户评论