A new approach to testing protocols in which both the specification and the implementation exhibit non-determinism is described. Test sequences are generated by an adaptive tester, which executes in parallel with the implementation under test (IUT). The adaptive tester attempts to determine a posteriori which non-deterministic choice the IUT has made, and uses this information to decide how to proceed. To achieve this, the different alternatives at each non-deterministic state are characterized by Transition Distinguishing Sequence Sets (TDSS), which can be generated in a preprocessing phase.
|Title of host publication
|IFIP Transactions C
|Subtitle of host publication
|Publ by Elsevier Science Publishers B.V.
|Number of pages
|Published - 1994
|Proceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems - Pau, Fr
Duration: Sep 28 1993 → Sep 30 1993
|Proceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems
|9/28/93 → 9/30/93
ASJC Scopus subject areas