面向IEC 61131-3 ST语言的自动化测试研究与实现

作者：郝丽

来源：其他, 2019.

• 结构化文本语言
• 自动化测试
• 动态符号执行
• 测试用例生成 Structured text language
• automated testing
• dynamic symbolic execution
• test case generation

可编程逻辑控制器(PLC)作为工业控制系统的核心设备,已经被广泛应用于各种自动化控制领域。PLC本质上是一种专用于工业控制的计算机,能够适应复杂的工业环境。随着PLC软件的规模越来越庞大、PLC设备越来越繁多,实际应用中爆发了很多问题,轻则会造成经济损失,重则将影响人身安全。因此,人们对PLC软件的正确性、安全性越来越重视,尤其是军用设备上使用的软件。IEC 61508标准明确指出,PLC软件在发布之前必须在功能、结构和安全等方面进行全面测试。随着PLC的广泛使用,出现了用于编辑PLC软件的集成开发环境和模拟PLC执行行为的仿真器。然而,这些PLC工具的软件测试方法基本以手动输入的测试用例为主...

• 出版日期2019
• 单位华东师范大学