Что такое граф потока управления (cfg)? - определение из техопедии

Определение - Что означает график потока управления (CFG)?

В информатике граф потока управления (CFG) - это графическое представление потока управления или вычислений во время выполнения программ или приложений. Графики потока управления в основном используются в статическом анализе, а также в приложениях компилятора, поскольку они могут точно представлять поток внутри программного модуля.

Граф потока управления в значительной степени обязан Фрэнсис Э. Аллен.

Техопедия объясняет график контроля потока (CFG)

График потока управления ориентирован на процесс и может показать все пути, которые могут быть пройдены во время выполнения программы. Граф потока управления также может рассматриваться как ориентированный граф, в котором ребра представляют пути потока управления, а узлы изображают базовые блоки, которые представляют собой отрезки прямой линии без каких-либо скачков или ветвлений.

На графике потока управления существуют два специально обозначенных блока: блоки входа и выхода. Блок ввода позволяет элементу управления войти в график потока управления, тогда как поток управления уходит через блок выхода. Другими словами, граф потока управления состоит из всех строительных блоков, включенных в диаграмму потока, таких как начальный узел, конечный узел и потоки / дуги между узлами. График потока управления может отображать, как разные программные блоки или приложения обрабатывают информацию между разными сторонами в контексте системы.

Есть много преимуществ, связанных с графиком потока управления. Он может легко суммировать информацию по каждому базовому блоку. Он может легко найти недоступные коды программы, а синтаксические структуры, такие как циклы, легко найти в графе потока управления.