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.
| Original language | English |
|---|---|
| Number of pages | 7 |
| Publication status | Published - 2002 |
| Event | 8e Nederlandse Testdag 2002 - Rotterdam, Netherlands Duration: 20 Nov 2002 → 20 Nov 2002 Conference number: 8 |
Workshop
| Workshop | 8e Nederlandse Testdag 2002 |
|---|---|
| Country/Territory | Netherlands |
| City | Rotterdam |
| Period | 20/11/02 → 20/11/02 |
Keywords
- FMT-TESTING