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