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

    Abstract

    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
    PublisherSTW
    Pages141-148
    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

    Name
    PublisherTechnology Foundation, STW

    Workshop

    Workshop1st PROGRESS Workshop on Embedded Systems 2000
    Abbreviated titlePROGRESS
    CountryNetherlands
    CityUtrecht
    Period13/10/0013/10/00

    Keywords

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

    Cite this