Testing theory in practice: a simple experiment

R. Terpstra, Z. Brezocnik (Editor), T. Kapus (Editor), Luis Ferreira Pires, A.W. Heerink, G.J. Tretmans

    Research output: Contribution to conferencePaperAcademicpeer-review

    25 Downloads (Pure)

    Abstract

    In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.
    Original languageUndefined
    Pages168-183
    Number of pages16
    Publication statusPublished - 1996
    EventCOST 247 International Workshop on Applied Formal Methods in System Design 1996 - Maribor, Slovenia
    Duration: 17 Jun 199619 Jun 1996

    Workshop

    WorkshopCOST 247 International Workshop on Applied Formal Methods in System Design 1996
    CountrySlovenia
    CityMaribor
    Period17/06/9619/06/96

    Keywords

    • IR-66782
    • SCS-Services
    • EWI-8783

    Cite this