一种面向PLC逻辑编程的智能形式化验证方法

摘要

本发明实现了一种面向PLC逻辑编程的智能形式化验证方法，可适用于所有支持ST语言的编程软件。所述方法包含如下步骤，S1:接收PLC逻辑编程软件编好的逻辑程序；S2:解析逻辑程序：进行词法、语法分析，生成逻辑状态机、状态集合和验证用例运行集合；S3:根据逻辑状态机生成智能化测试参数，生成影响因子参数、覆盖参数、智能参数集合；S4：建立自动化测试任务，根据接收的PLC逻辑程序的数量生成多个自动化测试任务；S5:自动进行测试过程操作：模拟PLC运行过程，自动进行验证启动、用例参数设置、运行用例、收集运行结果信息、退出验证操作；S6:生成验证分析报告。该方法可以提供对PLC逻辑程序的自动化验证，方便PLC开发调试，有效降低开发和应用成本。