2 Why We Need Model-Based Testing

75
Overview 49
TimeoutMsgLate()
76
73
Message("999.9") Command() TimeoutMsgLost()
74
ReportLostMessage()
102
78
83
105
107
6
Poll()
77
Calibrate()
Message("999.9")
72
7
10
2
3
0
Timeout() Command()
Reset()
Message("99.9") Command()
CheckMessage()
Timeout() Command()
71
Message("99.9") TimeoutMsgLost()
Message("99.9") TimeoutMsgLate() Message("999.9")
100
101
104
NoHandler()
Command() Timeout()
Command()
Figure 3.9. Portion of controller FSM showing path to unsafe state.
106
99
4
1
TimeoutMsgLate()
5
TimeoutMsgLost()
out-of-range. Figure 3.8 shows the entire FSM; the filled-in ovals are the unsafe
states. (It is not necessary to search the graph visually to find out whether there are
any unsafe states; the tool writes a message to report that it finds four of them.)
Figure 3.9 shows the portion of the FSM that includes the path to an unsafe state
traversed by the OutOfRangeMessageWhenIdle run.
more free ebooks download links at:
http://www.ebook-x.com
8