Côte de Resyste in Progress

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

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


    Traditional (manual) testing of software systems is a costly, laborious and error-prone activity. It gets even more complicated nowadays with complex reactive software like embedded system software and communication protocols. Such software is characterized by a high degree of interactivity and concurrency. Cˆote de Resyste aims at developing methods and an integrated tool environment to support and, whenever possible, automate the testing process of reactive systems. Contrary to other test tools, this tool environment builds on a sound and well-defined theoretical basis. First results are the implementation of the prototype test tool TorX and its successful application to the Philips’ A/V Link protocol and to the academic Conference protocol case study. These experiments show that test automation, based on formal methods, is feasible and beneficial. Current work concentrates on improving TorX, on developing methods for effective selection of test sets and on generic test execution environments. A major part of the project is devoted to industrial case studies which are executed in close cooperation with Philips, Lucent Technologies and Interpay.
    Original languageUndefined
    Title of host publication1st PROGRESS workshop on Embedded Systems
    EditorsJ.P. Veen
    Place of PublicationUtrecht
    Number of pages8
    ISBN (Print)90-73461-25-1
    Publication statusPublished - Oct 2000
    Event1st PROGRESS Workshop on Embedded Systems 2000 - Utrecht, Netherlands
    Duration: 13 Oct 200013 Oct 2000
    Conference number: 1

    Publication series

    PublisherTechnology Foundation, STW


    Workshop1st PROGRESS Workshop on Embedded Systems 2000
    Abbreviated titlePROGRESS


    • METIS-119656
    • EWI-6516
    • IR-63322

    Cite this