53. public void onAck(final Event ev)
{
switch (currentState)
{
…
case State.FIN_WAIT_1: // an ACK while in FIN_WAIT_1
currentState = State.FIN_WAIT_2;
break;
…
}
}
Event
Current
State
Next
State
State & Events
be explicit, do not hide behind
abstraction(s) Make them Observable!
56. State Machine Testing
1. Does my “code” implement it correctly?
2. Is my design safe, correct, etc.?
VLSI Testing Techniques
e.g. ARC/Branch Testing