使用 GPT 4.0 根据需求设计 FSM 规范

有限状态机（FSM）是反应式系统的可执行形式规范。这些机器是根据系统的要求设计的。这些要求通常记录在以自然语言编写的文本文档中。 FSM 在模型驱动系统工程 (MDE) 的不同阶段发挥着至关重要的作用。例如，它们用于自动化测试活动。 FSM 质量至关重要：FSM 质量越低，测试阶段幸存的故障数量就越多，生产中系统出现故障的风险就越高，这可能会导致灾难性的情况。因此，本文利用 LLM 领域的最新进展提出了一种基于 LLM 的框架，用于根据需求设计 FSM。该框架还提出了一种基于 FSM 突变和测试生成的以专家为中心的方法，用于修复 LLM 生成的 FSM。本文还对 LLM 通过各种方法执行框架中提出的任务和 FSM 修复的能力进行了实验分析和评估。本文给出了实验结果和模拟数据。这些结果和方法为LLM带来了新的分析和愿景，有助于机器学习技术的进一步发展及其在MDE中的应用。