Overlapped Test for an FSM with No Convergent Transitions
1. Remove all convergent transitions from the transition
digraph.
2. Find disjoint paths P1, P2, ...., Pk.
3. Use bridges to connect these paths into a tour.
1
bridge
bridge
bridge
P1
P2
P3
UIO(i)
UIO(j)
UIO(k)
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本