您现在所在位置：首页 > 期刊导读 > 2011 > 01 > 信息摘要

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

【出 处】：

【作 者】：

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

相关热词搜索： Modbus 一致性测试 形式化

上一篇：基子信号强度的无线定位算法研究
下一篇：I2C口实现对音频采样芯片TLV320AIC23配置研究