Formal Test Automation: A Simple Experiment

Axel Belinfante, J. Feenstra, R.G. de Vries, G.J. Tretmans, N. Goga, Loe Feijs, Sjouke Mauw, A.W. Heerink

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

    3 Downloads (Pure)


    In this paper1 we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specication languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches. To facilitate the derivation from multiple formal description techniques and the dierent test execution approaches, an open, generic environment called TorX is introduced. TorX enables plugging in existing or dedicated tools. We have carried out several experiments in testing a conference protocol, resulting in requirements on automated testing and benchmarking criteria.
    Original languageUndefined
    Title of host publicationProceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
    EditorsGyula Csopaki, Sarolta Dibuz, Katalin Tarnay
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Number of pages18
    ISBN (Print)0-7923-8581-0
    Publication statusPublished - 1999
    Event12th IFIP WG 6.1 International Workshop on Testing Communicating Systems - Budapest, Hungary
    Duration: 1 Sept 19993 Sept 1999

    Publication series

    NameIFIP Conference Proceedings
    PublisherKluwer Academic Publishers


    Workshop12th IFIP WG 6.1 International Workshop on Testing Communicating Systems
    OtherSeptember 1-3, 1999


    • EWI-6473
    • IR-63294
    • METIS-119606

    Cite this