9

ソース コードから開始して、Erlang gen_fsm のダイアグラムをグラフィカルにレンダリングする既存のツールを知っていますか?

4

3 に答える 3

2

Erlang プログラムのソース コードを解析したいとおっしゃいましたが、たまたまプログラム自体の依存関係解析に興味があったのではないかと思いました。(あなたが書いている FSM を分析したいだけかもしれませんが、私は再確認したかったのです)。

もしそうなら、Erlang のXref - The Cross Reference Tool が興味深いかもしれません。

私は新しいユーザーなので、別のハイパーリンクを投稿することはできませんが、「erlang xref graphviz」を検索すると、Ulf W が Xref を GraphViz に接続する方法について説明している erlang.org の投稿が見つかります。

于 2010-02-08T16:30:10.200 に答える
2

このフォーラムの投稿 (「リンク gen_fsm (または他の erlang FSM) と dot (graphviz) ファイルよりもいくつかのツールを試してみたいです。」) が役に立つかもしれません:

http://www.trapexit.org/forum/viewtopic.php?p=44468

于 2010-02-08T16:20:06.137 に答える
1

gen_fsm の次の状態は、一般的なケースでは静的ソース分析では検出できない計算値である可能性があります。

もちろん; 型注釈を使用すると可能ですが、状態遷移を明示的に書き留めて.dotファイルを生成することもできます。

于 2010-02-08T16:21:04.903 に答える