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.