Abstract
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.
Original language | English (US) |
---|---|
Title of host publication | IFIP Transactions C |
Subtitle of host publication | Communication Systems |
Editors | Omar Rafiq |
Publisher | Publ by Elsevier Science Publishers B.V. |
Pages | 347-361 |
Number of pages | 15 |
Edition | C-19 |
ISBN (Print) | 0444816976 |
State | Published - 1994 |
Event | Proceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems - Pau, Fr Duration: Sep 28 1993 → Sep 30 1993 |
Conference
Conference | Proceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems |
---|---|
City | Pau, Fr |
Period | 9/28/93 → 9/30/93 |
ASJC Scopus subject areas
- General Engineering