Adaptive testing of non-deterministic communication protocols

Mohammed Ghriga, Phyllis Frankl

    Research output: Book/ReportBook

    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)
    PublisherPubl by Elsevier Science Publishers B.V.
    Number of pages15
    ISBN (Print)0444816976
    StatePublished - 1994

    Fingerprint

    Information use
    Specifications
    Network protocols
    Testing

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Ghriga, M., & Frankl, P. (1994). Adaptive testing of non-deterministic communication protocols. Publ by Elsevier Science Publishers B.V.

    Adaptive testing of non-deterministic communication protocols. / Ghriga, Mohammed; Frankl, Phyllis.

    Publ by Elsevier Science Publishers B.V., 1994. 15 p.

    Research output: Book/ReportBook

    Ghriga, M & Frankl, P 1994, Adaptive testing of non-deterministic communication protocols. Publ by Elsevier Science Publishers B.V.
    Ghriga M, Frankl P. Adaptive testing of non-deterministic communication protocols. Publ by Elsevier Science Publishers B.V., 1994. 15 p.
    Ghriga, Mohammed ; Frankl, Phyllis. / Adaptive testing of non-deterministic communication protocols. Publ by Elsevier Science Publishers B.V., 1994. 15 p.
    @book{ebbb90a61dae4ca69fe74c3f487f281d,
    title = "Adaptive testing of non-deterministic communication protocols",
    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.",
    author = "Mohammed Ghriga and Phyllis Frankl",
    year = "1994",
    language = "English (US)",
    isbn = "0444816976",
    publisher = "Publ by Elsevier Science Publishers B.V.",

    }

    TY - BOOK

    T1 - Adaptive testing of non-deterministic communication protocols

    AU - Ghriga, Mohammed

    AU - Frankl, Phyllis

    PY - 1994

    Y1 - 1994

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=0028087495&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0028087495&partnerID=8YFLogxK

    M3 - Book

    SN - 0444816976

    BT - Adaptive testing of non-deterministic communication protocols

    PB - Publ by Elsevier Science Publishers B.V.

    ER -