D-method
a-part : Test that each state possesses the distinguishing sequence.
b-part : Test that each transition is correctly implemented.
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本