Adaptive testing of non-deterministic communication protocols

Mohammed Ghriga, Phyllis G. Frankl

    Research output: Chapter in Book/Report/Conference proceedingChapter

    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 languageEnglish (US)
    Title of host publicationIFIP Transactions C
    Subtitle of host publicationCommunication Systems
    EditorsOmar Rafiq
    PublisherPubl by Elsevier Science Publishers B.V.
    Pages347-361
    Number of pages15
    EditionC-19
    ISBN (Print)0444816976
    StatePublished - 1994
    EventProceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems - Pau, Fr
    Duration: Sep 28 1993Sep 30 1993

    Conference

    ConferenceProceedings of the IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems
    CityPau, Fr
    Period9/28/939/30/93

    ASJC Scopus subject areas

    • General Engineering

    Fingerprint

    Dive into the research topics of 'Adaptive testing of non-deterministic communication protocols'. Together they form a unique fingerprint.

    Cite this