制御フローグラフの例。
同じツールに4つの依頼。以下の図はすべて実際に生成されたものです。
制御フローグラフとは。
制御フローグラフ(CFG)は、プログラムが取り得る実行経路を表します。ノードは処理のまとまり、方向付きエッジは制御の移動を示し、真偽の分岐やループバックも含みます。
一般的なプロセスフローチャートとは異なり、CFGは実行経路に焦点を当てます。到達可能なブロック、サイクル、テストやプログラム解析のための別経路を確認するのに役立ちます。
- Standard
- Sugiyama layered DAG + orthogonal routing
- Engine
- schematex-flowchart
- Editable
- Double-click text, drag nodes
- Export
- SVG · PNG · PDF
制御フローグラフを使う人。
支払い、在庫、配送の分岐を、考えられる結果の全体として確認する。
小さなループ処理のコントローラーを使い、プログラム経路のノード、エッジ、サイクルを特定する。
分岐網羅を計画する際に、安全確認、排除経路、繰り返しサイクルを明らかにする。
3ステップで制御フローグラフを作成する方法。
説明する
まずは1段落で十分です。
図を確認
最適なエンジンで描画します。
変更点を伝える
編集のたびにバージョンを保存します。
よくある質問
制御フローグラフとは?
CFGは、プログラム内の実行経路を表します。ノードは基本ブロックや操作、エッジは条件分岐、ジャンプ、ループバックなどの制御移動です。
制御フローグラフとフローチャートの違いは?
フローチャートはあらゆるプロセスを表せます。制御フローグラフはプログラムロジックの経路を具体的にモデル化するため、テスト、コンパイラ開発、コード解析に役立ちます。
疑似コードからCFGを作成できますか?
はい。各ブロック、判断、ループ、終了経路を説明してください。解析に役立つ場合は、基本ブロックに番号を付けられます。
制御フローグラフを使うのは誰ですか?
コンパイラを学ぶ学生、ソフトウェアエンジニア、テストエンジニア、セキュリティ研究者が、分岐、ループ、網羅性、プログラム構造の分析に使います。