SemaPLC 通过实时运行时检查测试 PLC 代码智能体
该测试框架会根据规格、编译结果和部署后的行为来验证生成的 PLC 逻辑。
为什么重要
这项工作将 PLC 代码评估从孤立的生成任务推进到集成与运行时验证，更接近工业实际使用场景。它也表明，动态行为检查能够暴露编译或静态测试可能遗漏的问题。
核心要点
- 1.SemaPLC 要求通过外部检查后，才会将 PLC 代码任务标记为完成。
- 2.它在独立 POU 任务上的平均验证通过率为 72.6%。
- 3.动态运行时行为是最能揭示问题的评估层。
研究人员推出了 SemaPLC，这是一个面向项目、以验证为门槛的 PLC 代码生成智能体测试框架。只有在记录的外部检查确认代码符合规格、通过编译，并能在实时 PLC 运行时中表现正确后，系统才会判定任务完成。在 117 个独立 POU 任务中，SemaPLC 在七个模型上的平均严格验证通过率达到 72.6%；在包含 65 个任务的项目上下文测试中，它在集成编译、静态行为和动态行为三项平均结果上均领先。
⚡ 今天就能用
在评估面向真实项目的 LLM 生成 PLC 逻辑时，应使用实时运行时轨迹对比。
来源与原始报道
本简报汇总并链接到以下媒体的报道。
觉得这篇简报有用？下一篇直接送到你的邮箱。