Timed testing with TorX: the Oosterschelde storm surge barrier


Belinfante, Axel (2002) Timed testing with TorX: the Oosterschelde storm surge barrier. In: Handout 8e Nederlandse Testdag, 20 November 2002, Rotterdam, the Netherlands.

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract: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.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63325
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page