Faculté des Sciences Exactes et de l'Informatique

1 année mastère ISI

Matière : Ingénierie logicielle
TD 6
Solution

Exercice 1

R1)
R2) 1 représente l’absence de nœud (Donc ε est
toléré)
a
ab (c ( 1 + d ) eb )* f

R3)
b<=0
b
f
C1) abf
b>0
C2) abcdebf
c

b mod 2 != 0 C3) abcebf

d b mod 2 == 0 C4) abcdebcdebf

C5) abcdebcebf

e C6) abcebcebf

C7) abcebcdebf
Exercice 2

R1) a R2)abcdegh

R3) C1=abcdefh

b C2= abcdegh
x >=0 R4) C1=abcdefh

c x <0 C2=abdegh

R5) 9-8+2=3

d R6)

C1=abcdefh

e C2=abdefh
x =-1 x ≠-1
C3=abcdegh

f g

h
Faculté des Sciences Exactes et de l'Informatique
1 année mastère ISI
Matière : Ingénierie logicielle
TD 6
Execice 3

R1)

R1) Oui, car tous les chemins sont sensibilisés

R2) Parce que la division par zéro non

détectée lorsque {a = 0, b = 0}

R4)

Critère Toutes-les-Décisions satisfait avec {a = 0, b = 1}, {a = 2, b = 1}, {a = 2, b = 2}

et {a = 0, b = 0}