Abstract | ||
---|---|---|
A new approach to testing protocols in which both the specification and the implementationexhibit non-determinism is described. Test sequences are generated by an adaptivetester, which executes in parallel with the implementation under test (IUT). The adaptivetester attempts to determine a posteriori which non-deterministic choice the IUT hasmade, and uses this information to decide how to proceed. To achieve this, the differentalternatives at each non-deterministic state are characterized ... |
Year | Venue | Keywords |
---|---|---|
1993 | Protocol Test Systems | non-deterministic communication protocols,adaptive testing,communication protocol |
Field | DocType | Volume |
Computer science,Computerized adaptive testing,Communications protocol,Distributed computing | Conference | 19 |
ISSN | ISBN | Citations |
0926-549X | 0-444-81697-6 | 2 |
PageRank | References | Authors |
0.40 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammed Ghriga | 1 | 2 | 0.74 |
Phyllis G. Frankl | 2 | 723 | 54.98 |