Testing Concurrent Systems: A Formal Approach

G.J. Tretmans

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

    151 Citations (Scopus)

    Abstract

    This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed.
    Original languageUndefined
    Title of host publicationCONCUR'99 - Concurrency Theory: 10th International Conference
    EditorsJ.C.M. Baeten, S. Mauw
    Place of PublicationBerlin
    PublisherSpringer
    Pages46-65
    Number of pages20
    ISBN (Print)3-540-66425-4
    DOIs
    Publication statusPublished - Aug 1999
    Event10th International Conference on Concurrency Theory, CONCUR 1999 - Eindhoven, Netherlands
    Duration: 24 Aug 199927 Aug 1999
    Conference number: 10

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume1664

    Conference

    Conference10th International Conference on Concurrency Theory, CONCUR 1999
    Abbreviated titleCONCUR
    CountryNetherlands
    CityEindhoven
    Period24/08/9927/08/99

    Keywords

    • EWI-6496
    • IR-63307
    • METIS-119604
    • FMT-TESTING

    Cite this

    Tretmans, G. J. (1999). Testing Concurrent Systems: A Formal Approach. In J. C. M. Baeten, & S. Mauw (Eds.), CONCUR'99 - Concurrency Theory: 10th International Conference (pp. 46-65). (Lecture Notes in Computer Science; Vol. 1664). Berlin: Springer. https://doi.org/10.1007/3-540-48320-9_6