Automated Control Logic Test Case Generation using Large Language Models

在工业自动化中测试PLC和DCS控制逻辑是费力且具有挑战性的，因为适当的测试用例通常复杂且难以制定。研究人员先前提出了几种应用符号执行和基于搜索技术的PLC软件自动化测试用例生成方法。这些方法通常需要正式规范并对程序进行机械分析，虽然可以发现特定的编程错误，但有时会遭受状态空间爆炸的困扰，而且不能处理相当非正式的规范。我们提出了一种新的方法，用于自动生成PLC测试用例，该方法查询大型语言模型（LLM）以合成提示中提供的代码的测试用例。使用来自OSCAT自动化库的十个开源函数块的实验表明，该方法快速，易于使用，并且可以为低到中等复杂的程序生成具有高语句覆盖率的测试用例。然而，我们还发现，LLM生成的测试用例在许多情况下存在错误的断言，仍需要手动调整。

自动生成PLC测试用例

使用大语言模型自动生成PLC测试用例

使用大语言模型能够快速且容易地生成低到中等复杂程度的PLC程序的测试用例，但生成的测试用例仍需要手动调整

先前的研究使用符号执行和基于搜索的技术自动生成PLC软件的测试用例，但这些方法需要正式规范和程序的机械分析，不能处理比较非正式的规范