Download suivant

Exemple
1 Open fichier1;
Read ( X, Fichier1);
Read (Y, fichier1);
Z: = 0;
2 While X >= Y do
3 Begin
X: = X - Y;
Z: = Z + 1;
End
4 Print (Y, Fichier2);
Close Fichier1;
Close Fichier2;
Le graphe de contrôle est le suivant:
1
2
X >= Y
X<Y
3
4
On considère tous les chemins du point d'entrée au point de sortie et on cherche les
anomalies. Par exemple, présence de code isolé, enchaînement logique de certaines
instructions (écrire sur un fichier fermé, ne pas fermer un fichier).
b) Flots de données
Annoter le graphe par des informations pertinentes quant à la manipulation des
variables (définition d'une variable, utilisation d'une variable).
1
def X, def Y, def Z
2
utilX, util Y
X <Y
3
4
X >= Y
util X, util Y, def X
util Z, def Z
util Y
Les principales anomalies sont les suivantes :
- Utiliser une variable sans la définir au préalable.
- Définir une variable sans l'utiliser ultérieurement.
Exemple
Le long chemin est 1.2.3., la variable Z est définie en 1 mais jamais utilisée. Même chose
pour le chemin 1.2.3.2.4
5