Graphique de flux de contrôle (CFG)

Définition - Que signifie Graphique de flux de contrôle ?

En informatique, un graphique de flux de contrôle (Control Flow Graph - CFG) est la représentation graphique d'un flux de contrôle ou d'un calcul lors de l'exécution de programmes ou d'applications. Les graphiques de flux de contrôle sont principalement utilisés dans l'analyse statique ainsi que dans les applications de compilation, car ils peuvent représenter avec précision le flux à l'intérieur d'une unité de programme.

Le graphique de flux de contrôle doit une grande partie de son développement à Frances E. Allen.

Definir Tech explique le Graphique de flux de contrôle (CFG)

Un graphique de flux de contrôle est orienté processus et peut montrer tous les chemins qui peuvent être parcourus pendant l'exécution d'un programme. Un graphique de flux de contrôle peut également être considéré comme un graphique orienté dans lequel les arêtes représentent des chemins de flux de contrôle et les nœuds décrivent des blocs de base, qui sont des segments de ligne droite sans sauts ni ramifications.

Dans un graphique de flux de contrôle, deux blocs spécialement désignés existent : les blocs d'entrée et de sortie. Le bloc d'entrée permet au contrôle d'entrer dans le graphique de flux de contrôle, tandis que le flux de contrôle sort par le bloc de sortie. En d'autres termes, le graphique de flux de contrôle comprend tous les blocs de construction impliqués dans un organigramme tels que le nœud de départ, le nœud de fin et les flux / arcs entre les nœuds. Un graphique de flux de contrôle peut décrire comment différentes unités de programme ou applications traitent les informations entre différentes extrémités dans le contexte du système.

Il existe de nombreux avantages associés à un graphique de flux de contrôle. Il peut facilement résumer les informations pour chaque bloc de base. Il peut aisément localiser les codes inaccessibles d'un programme et les structures syntaxiques telles que les boucles sont faciles à trouver dans un graphique de flux de contrôle.