Overlapped Test for an FSM with No Convergent Transitions

[Chinese postman path, UIO(j), T(k,0)]

can be used to generate the overlapped test sequence.

- Chinese postman path ends at state j.

- UIO(j) ends at state k.

- T(k,0) transfers from state k to state 0.

Example.

0

1

4

6

2

3

5

T1

a/b

T2

a/b

T3

z/b

T4

c/d

T6

a/f

T5

a/f

T7

x/d

T8

z/b

[T2, T6, T8, T7, T5, T4, T3, T1, UIO(0), T3, T1]

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本