コントロールフローグラフとは何ですか？

コントロールフローグラフ（CFG）は、コンピュータープログラムのコードが取ることができるさまざまなパスの視覚的表現です。CFGは、ノードと呼ばれる一連のシンボルで構成されています。各ノードは次のノードにとるルートを示す矢印で接続されています。フローチャートとは異なり。

制御フローグラフを作成する主な目的の1つは、コンピュータープログラムの一部が不要な部分があるかどうかを発見することです。これは、コントロールフロー図を見ると簡単に実現できます。実行は、単一のノードを超えて移動しません。それぞれ図の矢印は、どの条件を指すノードに移動するためにどの条件を満たす必要があるかを示しているため、プログラムが前のノードに何度も繰り返されるため、その状態が満たされない状況を発見できます。

最後に、コントロールフローグラフはプログラム依存グラフの作成に役立ちます。このタイプのグラフは、プログラムの領域が他の部分に依存していることを示しています。コンピューターサイエンスでは、プログラムコードが正しいシーケンスで実行されていることを確認するための評価順序を確立するために使用されます。

コントロールフローグラフの視覚的性質は、それを潜在的に非常に貴重にすることができる機能の1つです。直接呼び出されたりアクセスしたりしないコードはかなり明白です。一連のソースコードファイルに基づいてコントロールフローグラフを自動的に生成できるプログラムは、プロセスをさらに簡素化します。

コントロールフローグラフは任意の方法で表現できるため、誰がそれを生成したかによって異なって表示される場合があります。一部のグラフは、ノードを表すためにサークルまたは正方形を使用しますが、他のグラフは標準フローチャートと同じ形状を使用します。