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