Faculté des Sciences Exactes et de l'Informatique 1 année mastère ISI Matière :
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) Exercice 2 R1) a b c d e f b<=0 b>0 b mod 2 != 0 b mod 2 == 0 R2) 1 représente l’absence de nœud (Donc ε est toléré) ab (c ( 1 + d ) eb )* f R3) C1) abf C2) abcdebf C3) abcebf C4) abcdebcdebf C5) abcdebcebf C6) abcebcebf C7) abcebcdebf a b c f g e h d x >=0 x <0 x =-1 x ≠-1 R2)abcdegh R3) C1=abcdefh C2= abcdegh R4) C1=abcdefh C2=abdegh R5) 9-8+2=3 R6) C1=abcdefh C2=abdefh C3=abcdegh Faculté des Sciences Exactes et de l'Informatique 1 année mastère ISI Matière : Ingénierie logicielle TD 6 Execice 3 R1) 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} 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} uploads/Science et Technologie/ td-il-6-corr 1 .pdf
Documents similaires










-
33
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Attribution requise- Détails
- Publié le Jui 12, 2022
- Catégorie Science & technolo...
- Langue French
- Taille du fichier 0.5435MB