Automatic Testing with Formal Methods

G.J. Tretmans, Axel Belinfante

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

    1 Downloads (Pure)

    Abstract

    The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.
    Original languageEnglish
    Title of host publicationEuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review
    Place of PublicationGalway, Ireland
    PublisherEuroStar Conferences
    Number of pages21
    Publication statusPublished - 1999
    Event7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999 - Barcelona, Spain
    Duration: 8 Nov 199912 Nov 1999
    Conference number: 7

    Conference

    Conference7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999
    Abbreviated titleEuroSTAR
    CountrySpain
    CityBarcelona
    Period8/11/9912/11/99

    Keywords

    • FMT-TESTING

    Fingerprint Dive into the research topics of 'Automatic Testing with Formal Methods'. Together they form a unique fingerprint.

    Cite this