Test Sequences Are Generated from Tours of FSM
*A tour is a path that starts and ends the same vertex.
1
3
2
b/z
a/x
a/y
c/z
1
2
3
4
Tours:
Test Sequence---
inputs:a, b, c
Check outputs:x, y, z
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本