如何可视化Erlang gen_fsm

您知道从源代码开始以图形方式呈现Erlang gen_fsm图表的现有工具吗？

此论坛帖子（“我想尝试一些工具，而不是链接gen_fsm（或其他Erlang fsm）和dot（graphviz）文件”）可能对您有用：

---

gen_fsm中的下一个状态可以是静态源分析在一般情况下无法找到的计算值

---

当然,；使用类型注释是可能的，但是您也可以明确地写下您的状态转换，从中生成

.dot

文件。

当您说要分析Erlang程序的源代码时，我想知道您是否碰巧对程序本身的依赖性分析感兴趣。（您可能只想分析您正在编写的FSM，但我想再次检查）

如果是这样的话，Erlang的交叉引用工具可能会引起人们的兴趣

我是新用户，因此无法发布其他超链接，但如果您搜索“erlang xref graphviz”，您将在erlang.org上找到一篇文章，其中Ulf W描述了如何将外部参照连接到graphviz。

多亏了Internet Archive（），我找到了提到的工具-请参阅和。我还不确定它们是否有用。