制御フローパス

制御フローパスとは何ですか？

制御フローパスは、実行中にプログラムを通過する可能性のあるすべてのパスをグラフィカルに表現したものです。ほとんどの表現は、2種類のブロックです。 Viz-制御がフローグラフに入る入口ブロックと、すべての制御フローが出る出口ブロック。

この表現により、循環的複雑度も計算できます。また、到達可能性、他のノードとの関係、エッジ、ループを効果的に検証できます。