3. Define an FSM that accepts the closure Timeout()??— and compose it with the
model program SP[Credits,Commands,Setup] and Wait20 as defined in Section
16.5.1. What kind of test results do you expect when you run ct on this?
4. Write a adaptive strategy that tries to cover partially explored states as discussed
in Section 16.5.2 assuming that the IUT is determinisitic.
5. Implement the multiplexing algorithm discussed in Section 16.6.1.
6*. Implement a passive tester (as discussed in Section 16.5.3) that multiplexes
events from multiple log files.
17 Further Reading
There is a lot of research that has been done in the areas discussed in this part of the
book. We mention some works that are related to the topics under discussion, and
from which further related work can be found. The selection is far from exhaustive.
The discussion follows the structure of this part of the book.
Compositional modeling. Protocol design and the layering principle mentioned in
Section 14.1 are discussed in-depth in Comer (2000). The notion of features and
the topic of feature interaction have been focused on telecommunication software.
There is a series of books (see, e.g., Reiff-Marganiec and Ryan, 2005) that discuss
approaches to alleviate the problem in that context. The sample protocol SP used
in Section 14.2, although abstract, is related to real-life application-level network
protocols such as the ones discussed in Hertel (2003).
Pages:
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363