Report on the standardization project “Formal methods in conformance testing”

Dieter Hogrefe, Stefan Heymer, Jan Tretmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    92 Downloads (Pure)

    Abstract

    This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU-T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT.
    Original languageEnglish
    Title of host publicationTesting of Communicating Systems
    Subtitle of host publicationIFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996
    EditorsB. Baumgarten, H.-J. Burkhardt, A. Giessler
    Place of PublicationBoston, MA
    PublisherSpringer
    Pages289-298
    Number of pages10
    ISBN (Electronic)978-0-387-35062-2
    ISBN (Print)978-1-4757-6697-4
    DOIs
    Publication statusPublished - 1996
    EventIFIP TC6 9th International Workshop on Testing of Communicating Systems 1996 - Darmstadt, Germany
    Duration: 9 Sep 199611 Sep 1996

    Conference

    ConferenceIFIP TC6 9th International Workshop on Testing of Communicating Systems 1996
    CountryGermany
    CityDarmstadt
    Period9/09/9611/09/96

    Keywords

    • FMT-TESTING
    • Conformance testing
    • Formal methods
    • Standardization

    Fingerprint Dive into the research topics of 'Report on the standardization project “Formal methods in conformance testing”'. Together they form a unique fingerprint.

    Cite this