c - C语言的有限状态机编译器模拟网络协议(protocol)

Question

我一直在寻找一个好的状态机编译器来测试一些自定义网络协议(protocol)。我已经查看了一些工具，例如 Yakindu、Ragel(编译器)、SCXML(语言)，但我不确定它们是否可以用于网络协议(protocol)。

SCXML(language) 看起来不错，但我找不到任何专门用于 C 的编译器(scxmlcc 用于 C++)。有谁知道基于 SCXML 的 C 编译器？Yakindu 工具看起来很有前途，但我不确定是否可以测试像 BGP/OSPF 这样的网络协议(protocol)。任何人都可以就此提出任何指示吗？Ragel 看起来也不错，但我再次不确定是否可以使用此编译器生成复杂的网络协议(protocol)客户端。

我特别提到网络协议(protocol)的原因是我还希望能够执行自定义例程，例如 packet_create/packet_send(具有自定义数据包大小)等作为“事件”发生后“操作”的一部分。

我是否需要始终从状态图中生成代码，或者是否有直接与状态交互的方法？我对 FSM 很陌生，任何帮助/建议/建议/链接都将不胜感激。

Answer 1

默认Yakindu SCT C 代码生成器生成与具体执行环境无关的纯 C 代码。这意味着您将获得一段标准 C 代码，您可以手动将其集成到您自己的应用程序中。这种手动集成意味着在您的应用程序和状态机之间映射事件、操作和变量。此外，您必须正确触发状态机执行。

您可以在 user guide 中找到一些相关信息.您还可以自定义代码生成器以满足您的需求，但只有当应用程序的集成看起来总是一样并且您想要集成一个或两个以上的状态机时，这才有意义。

因此，如果您提供有关应用程序端 API 的更多信息，我可以提供一些如何与状态机集成的提示。