【摘 要】
：
首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后
论文部分内容阅读
首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性。
First of all, the overall structure of the formal method of conformance testing is proposed. Then, the formal method of Mosbus protocol is analyzed, and the FSM model of Modbus is given. Then, the method of formal test of Modbus is analyzed and the test sequence is generated by U method. Finally The conformance test system is designed and implemented, which proves the effectiveness and practicability of the method in practice.
其他文献
本刊讯:据《中国国际啤酒网》报道,2016年11月,中国啤酒行业产量252.9万千升,同比增长1.6%;2016年1—11月,中国啤酒行业累计产量4244.6万千升,同比下降1.1%.
直流输电线路的电晕及其相关的无线电干扰、可听噪声以及合成场强、地面离子流密度等参数已成为系统设计和运行的主要制约因素.在特高压工程技术 (昆明) 国家工程实验室 (海
阿纳托唑（ａｎａｓｔｒｏｚｏｌｅ，商品名为Ａｒｉｍｉｄｅｘ，瑞宁得）是由英国Ｚｅｎｅｃａ公司开发生产的一种新型有效的高选择性、不良反应少的第Ⅲ代非甾类芳香化酶抑制剂。适用于绝经后妇女晚期乳腺癌的治疗。其结构式如下［１］：１ 药理
介绍了新兴的无损检测技术--金属磁记忆技术。磁记忆检测技术在矿山、冶金、石油、化工等领域应用越来越广泛。通过三点弯曲疲劳试验研究了热处理条件下焊板的磁记忆信号。
针对煤粒粉碎比较粗糙,粉碎程度不均匀的现状,采用当前较先进的ZMD31050信号调理器,AT89S51单片机以及MAX202串口电平转换器实现前混合水射流超细粉碎煤粒压力自动控制装置的
本刊讯:据《晟杰葡萄酒研发中心》报道,2016年12月14日,由中国酒业协会葡萄酒分会主办,国家葡萄、葡萄酒质量监督检验中心(秦皇岛)和秦皇岛市晟杰葡萄酒产业研究发展中心共同
旨在介绍一种方法:在C54x系列DSP平台上通过设置McBSP为GPIO,然后通过模拟I2C接口的时序实现对语音编解码器TLV320AIC23的配置,通过这种方法可以有效解决C54x系列DSP没有专用
高压直流换流站在进行滤波器组投切时往往会对小组中电阻器产生较大的冲击电流,并造成滤波器电阻过负荷异常动作。比较了不同型号的滤波器投切时在电阻上产生的冲击电流,分析