A State Has Many UIOs And the Choice Effects the Final Test Sequence Length

V1 has two UIOs

UIO’(V1) = [a/x] = [T1]

UIO”(V1) = [b/y] = [T4]

V2 has two UIOs

UIO’(V2) = [a/y, a/x] = [T2, T1]

UIO”(V2) = [a/y, b/y] = [T2, T4]

V3 has one UIO

UIO(V3) = [a/y, a/y] = [T3, T2]

V1

V2

V3

T4 = b/y

T3 = a/y

T2 = a/y

T1 = a/x

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本