Qu'est-ce qu'un graphique de flux de contrôle?
Un graphe de flux de contrôle (CFG) est une représentation visuelle des différents chemins que le code d’un programme informatique peut emprunter.Le CFG est composé d’une série de symboles, appelés noeuds, reliés par des flèches indiquant route que chacun peut acheminer vers le nœud suivant. Chaque nœud représente une ou plusieurs lignes importantes de code de programmation. Il existe plusieurs façons de rendre un fichier CFG, mais elles sont toutes se lit généralement de la même manière.
L'un des principaux objectifs de la création d'un graphe de flux de contrôle est de déterminer si certaines parties d'un programme informatique sont inutiles, ce qui peut être facilement réalisé en consultant le diagramme de flux de contrôle. une flèche la reliant au reste des nœuds peut être supprimée.
Un graphe de flux de contrôle sert également à aider à isoler des problèmes tels que des boucles infinies, où l'exécution du programme ne dépasse pas un seul nœud. Chaque flèche du diagramme indique la condition à remplir pour accéder au nœud auquel elle est associée. points, afin que les situations où cette condition n’est jamais remplie puissent être repérées, car le programme reviendra encore et encore au noeud précédent.
Enfin, un graphe de flux de contrôle peut aider à créer un graphe de dépendance de programme.Ce type de graphe indique les zones d’un programme qui dépendent d’autres parties. En informatique, il est utilisé pour établir un ordre d’évaluation. assurez-vous que le code du programme s'exécute dans le bon ordre.
La nature visuelle d'un graphe de flux de contrôle est l'une des caractéristiques qui peuvent le rendre potentiellement inestimable: des morceaux de code qui ne sont jamais appelés directement ou auxquels on n'a pas directement accès seront assez évidents, car il n'y aura pas de flèches le reliant au programme principal. ou bien les conditions montreront qu'ils ne peuvent jamais être atteints pour atteindre le code.Il existe des programmes informatiques capables de générer automatiquement un graphe de flux de contrôle basé sur une série de fichiers de code source, simplifiant encore le processus.
Un graphe de flux de contrôle peut être représenté de différentes manières et peut donc apparaître différemment selon le producteur. Certains graphes utilisent des cercles ou des carrés exclusivement pour représenter des nœuds, tandis que d'autres utilisent le mêmes formes qu’un organigramme standard Bien qu’elles soient lues exactement de la même manière, la méthode choisie reste une préférence purement personnelle.