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.
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)
|Link to this item:||http://purl.utwente.nl/publications/63325|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page