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