W : à peu près un ensemble de séquence d’input
UIO : Unique Input Output

Exercices

Page 115

DS

Séquence de test

TS_{DS}=(1, \text{bx}, 2) = R/N, a/x, b/x, a/y a/y

UIO pour tous les états

Rapide à trouver, car on a une ds aa.

UIO(S0) = a/x
UIO(S1) = a/y a/x
UIO(S2) = a/y a/y

TS_{UIO}(0, \text{ax}, 1) = R/N, a/x, a/y, a/x

W

Pareil à la DS

Page 116

Exercice du haut

W

UIO

UIO(S0) = a/y
UIO(S1) = a/x a/y
UIO(S2) = b/x

Séquence de test

TS_{W}=(1, \text{ax}, 0) = R/N, a/y, a/x et R/N, a/y, b/y
TS_{UIO}=(0, \text{ax}, 2) = R/N, b/y, b/x

Page 117

-- = output null

Complétude = tout les états reçoivent tout les inputs = pas de blocage

Pas de UIO, parce que partiel

On a un PUIO si on a les 5 hypothèses, sinon on va utiliser W.

On prend les transitions sortantes des états et on y rajoute les UIO de ces états
PUIO_{Both} = -2/N, UIO(01) et -1/N, UIO(02)
donc
PUIO_{Both} = -2/N, -1/A et -1/N, -2/A

Séquence de tests

TS_{PUIO}(\text{Only2}, \text{+1/N}, B)= R/N, +2/P, +1/N, -1/N, -2/A et R/N, +2/P, +1/N, -2/N, -1/A

Page 121

R/N, +2/P, +2/N, -2/A
Sur IUT : R/N, +2A, +2A, -2/N : inconclusif
Après fix : R/N, +2/P, +2/A, -2/N
\RA Erreur mixte (transfert et sortie)

Exercice 1 (top)

TS_{W}(3, \text{a/y}, 0) = // TODO

Exercice 1 (bot)

Il y a blocage : il n’est pas complet (on ne peut pas faire c depuis partout) : il faut le compléter (à mentionner !!)
UIO(S0) = a/x c/x
UIO(S1) = c/x
UIO(S2) = a/y a/x a/y c/x : on se rapproche du c/x qui est unique
UIO(S3) = a/x a/y c/x
UIO(S4) = a/y c/x

TS_{UIO}(4, \text{a/y}, 1) = R/N a/x a/x a/y a/x a/y c/x

Exercice 2a

Exercice 2b

On prend l’état de départ, on regarde l’input/output

TS_{UIO}(2, \text{a/x}, 0) = R/N c/x a/x c/x c/x