36-41
44
45 (point 1, 4 et 5 importants)
46-47 (avantages des FDT)
53
54
55 (tombe 1 examen sur 2)
56
59
61 (examen)
62 à l’examen : W, UIOv, question sur les tests de couverture (What about the coverage test criteria?), TTCN3?
65-?? test partitionné et aléatoire
74 (Complétude)
75 pas dans l’examen
77 sera dans l’examen, tester plusieurs fois pour detecter le non déterminisme
91-?? (cette partie sera à la moitié de l’exam) s’assurer que les hypothèses soient vérifiées
97 techniques de signature d’états (but: essayer de signer (de manière unique) tous les etats d’une spec, s’assure qu’on est passé dans tous les états)
98 stratégie DS
101 t3 -> IUT N, 1, 0, 1, 1 -> FAIL, erreur de sortie (car 0 au lieu de 1 voir slide); t3 -> IUT N, 1, 1, 1, 1 -> PASS; t3 -> IUT N, 1, 1, 1, 0 -> FAIL, erreur de transition;
t3 -> IUT N, 0, 1, 1, 1 -> INCONC, erreur de préambule (premier output)
transition = signature DS, préambule = comment atteindre l’état à tester, sortie = output de l’état
103 W
106 important
108 UIO(S2) = a 1; UIO(S3) = b 0; UIO(S1) = a 0 b 1 (signatures uniques pour chaque état, si on a telle séquence, cela veut dire qu’on était dans Sn)
117-?? PUIO

UIO = signature d’un état, signature unique d’un état, définir de manière sure “nous sommes ici dans la spé”
Tous les verdicts dans une seule boite