A Formal Approach to Conformance Testing

G.J. Tretmans

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    158 Downloads (Pure)

    Abstract

    In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.
    Original languageUndefined
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Brinksma, Hendrik , Supervisor
    Award date1 Jan 1992
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9005643-2
    Publication statusPublished - 1992

    Keywords

    • METIS-118407
    • IR-58114
    • FMT-TESTING
    • EWI-6556

    Cite this

    Tretmans, G. J. (1992). A Formal Approach to Conformance Testing. Enschede: Universiteit Twente.
    Tretmans, G.J.. / A Formal Approach to Conformance Testing. Enschede : Universiteit Twente, 1992. 267 p.
    @phdthesis{15a94a0ea1aa4cee8cd1907d5ab71ead,
    title = "A Formal Approach to Conformance Testing",
    abstract = "In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.",
    keywords = "METIS-118407, IR-58114, FMT-TESTING, EWI-6556",
    author = "G.J. Tretmans",
    year = "1992",
    language = "Undefined",
    isbn = "90-9005643-2",
    publisher = "Universiteit Twente",
    school = "University of Twente",

    }

    Tretmans, GJ 1992, 'A Formal Approach to Conformance Testing', University of Twente, Enschede.

    A Formal Approach to Conformance Testing. / Tretmans, G.J.

    Enschede : Universiteit Twente, 1992. 267 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    TY - THES

    T1 - A Formal Approach to Conformance Testing

    AU - Tretmans, G.J.

    PY - 1992

    Y1 - 1992

    N2 - In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.

    AB - In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.

    KW - METIS-118407

    KW - IR-58114

    KW - FMT-TESTING

    KW - EWI-6556

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-9005643-2

    PB - Universiteit Twente

    CY - Enschede

    ER -

    Tretmans GJ. A Formal Approach to Conformance Testing. Enschede: Universiteit Twente, 1992. 267 p.