A Formal Approach to Conformance Testing

G.J. Tretmans

    Research output: ThesisPhD Thesis - Research UT, graduation UT

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