Example of the Wp-method
is a set of input sequences that cause all states to generate distinct output sequences
Wp2 = {b}
a-part
:
/* test state 2 */
c/e, a/f, reset,
c/e, b/e, reset,
:
b-part
:
/* test transition (1, 2: b/f) */
a/e, b/f, b/e, reset,
:
W-method
a/e, b/f, a/f, reset,
a/e, b/f, b/e, reset,
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本