Côte de Resyste -- Automated Model Based Testing

G.J. Tretmans, Hendrik Brinksma

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

    95 Downloads (Pure)


    Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TORX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TORX is based on well-defined theory, viz. the iocotest theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TORX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project.
    Original languageUndefined
    Title of host publication3rd PROGRESS workshop on Embedded Systems
    EditorsM. Schweizer
    Place of PublicationUtrecht
    Number of pages10
    ISBN (Print)90-73461-34-0
    Publication statusPublished - 2002
    Event3rd PROGRESS Workshop on Embedded Systems 2002 - Utrecht, Netherlands
    Duration: 24 Oct 200224 Oct 2002
    Conference number: 3

    Publication series

    PublisherSTW Technology Foundation


    Workshop3rd PROGRESS Workshop on Embedded Systems 2002
    Abbreviated titlePROGRESS


    • EWI-6528
    • METIS-209019
    • IR-63326

    Cite this