基于FSM模型的总线协议一致性测试系统研究

摘要：

针对国内管网数据采集与监视控制系统(supervisory control and data acquisition,SCADA)在数据采集通信过程中所涉及的协议种类众多的特点,提出一种基于有限状态机的工业总线协议测试用例生成算法.首先建立FSM形式化模型,然后生成测试序列,并实例化一致性测试用例,然后将测试用例导入所设计的通信协议解析、一致性测试判定、测试结果输出与分析等模块,利用虚拟仪器工具LabVIEW实现了测试系统原理样机的人机界面,实现了SCADA系统的主控中心、场站控制系统、现场设备之间的工业通信协议一致性测试与分析.在某油气调控SCADA系统的测试项目中验证了该系统,可以生成合适的测试用例,并给出了测试用例的执行结果,有效提高了测试效率,有助于发现两化融合过程中一部分工业控制系统中的互联互通的问题.

关键词：一致性测试、数据采集与监控系统、虚拟仪器、工业总线协议

所属期刊栏目：28

分类号：TP302(计算技术、计算机技术)

资助基金：工业和信息化部工业控制系统信息安全评估专项工信软函[2016]1182号

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

页数：共5页

页码：17-21