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

  • 32
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager