Back to University of Twente portal
Gerjan Stokkink - Time in untimed testing
| author: | Gerjan Stokkink |
| title: | Time in untimed testing |
| keywords: | Model base testing, quiescence, time outs |
| committee: | dr. M.I.A. Stoelinga M. Timmer MSc |
| started: | 1 September 2011 |
Master Computer Science
Description
Even when testing untimed systems, timing plays a role, for instance in the time-outs used to detect quiescence. Therefore, this project investigates the relation between the model-based testing theory in the untimed setting and the timed setting. In particular, the concept of quiescence will be studied, and the way it behaves under parallel composition and hiding.