Timed Testing with TorX: The Oosterschelde Storm Surge Barrier

M. Gijsen (Editor), Axel Belinfante

    Research output: Contribution to conferencePaperAcademic


    We report on the automatic testing of the control software of the Oosterschelde kering, a storm surge barrier. The automatic testing includes automatic test case derivation and automatic test execution. This project is a joint effort of CMG and the computer science group "Formal Methods and Tools" at the university of Twente. We introduce the way we currently test at the Formal Methods and Tools group. The main topic is how we extended this current test process in a pragmatic way to add initial support to perform timed testing. An evaluation of this extension will be presented. We conclude with plans for continuation of the Côte de Resyste project; timed testing plays a major role in them.
    Original languageUndefined
    Number of pages7
    Publication statusPublished - 2002
    EventHandout 8e Nederlandse Testdag - Rotterdam, the Netherlands
    Duration: 20 Nov 200220 Nov 2002


    WorkshopHandout 8e Nederlandse Testdag
    Other20 November 2002


    • IR-63325
    • EWI-6526

    Cite this