Towards an Industrial Strength Process for Timed Testing

Timed model-based testing is a technique which allows for the specification of timing in the model as well as in the test cases. As such, it is well suited for the testing of embedded systems, which usually puts a much higher demand on the amount of test cases and quality of the test process than other software systems do. While the theory of timed testing is well established over the last years, industrial application is still rare. In this paper, we report on our first step towards a industrial strength process for timed testing. The paper describes how timed testing has been applied within an industrial case study, where we focus on a smaller part of the system, but have gone all the way through the model-based test process adapted to the industrial environment. The timed testing has been successfully carried out in the industrial partner's test channel. Our paper describes the set up we have been using and our experiences and lessons learned, which will be of interest for practitioners, but also for people working on the theory of model-based methods.