一种面向PLC程序的自动化测试用例生成方法

摘要

本发明公开了一种面向PLC程序的自动化测试用例生成方法，包括：将PLC源程序转换为等价的C语言程序；根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。本发明实施例提供的方法，将PLC语言程序转换为C语言程序，借用C语言的丰富的成熟的工具，能够有效地处理这些程序，生成高质量的测试用例集，充分体现出自动化测试的成本低、效率高等优势，特别是在规模庞大的、功能复杂的工控系统上，该方法能够发挥积极作用。