REPUBLIQUE TUNISIENNE
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique
Université de Carthage
Institut National des Sciences Appliquées et de Technologie
Exercice 1 : Test boîte blanche.
Soit le programme suivant :
lire(x)
lire(y)
z=0
signe = 1
si x < 0 alors
signe = -1
x=-x
finsi
si y < 0 alors
signe = - signe
y=-y
finsi
tant que x >= y faire
x=x-y
z=z+1
fin
z = signe * z
a) Dessiner le graphe de contrôle associé à ce programme en numérotant ses noeuds.
b) Par quelle suite de noeuds faut-il passer pour satisfaire le critère de couverture des instructions ?
Donner un jeu d’essai minimum qui satisfasse ce critère.
c) Par quelle suite de noeuds faut-il passer pour satisfaire le critère de couverture des arcs ? Donner un
jeu d’essai minimum qui satisfasse ce critère.
d) on appelle critère de couverture des i-chemins, le critère qui garantit que l’on passe sur tout les
chemins possibles en répétant de 0 à i fois chaque boucle. Par quelle suite de noeuds faut-il passer
pour satisfaire le critère de couverture des 1- chemins?
Donner un jeu d’essai minimum qui satisfasse ce critère.