Abstract:

Prototype-based Tests for Hybrid Reactive Systems

G. Hahn and J. Philipps and A. Pretschner and T. Stauner


Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and 
expected outputs. These sequences can be used as test cases to the end of both validating the model and also 
verifying an actual system. In the automotive domain many systems are reactive and exhibit continuous as 
well as discrete dynamics. This leads to an explosion of the model state space, which makes automated test case 
generation difficult, and, because of imprecisions in the continuous parts, requires an adequate treatment of 
fuzziness both in the dimensions of time and values. We report on experiments with model-based testing in the 
automotive domain. Roughly, the idea is to use two separate models, a discrete model as an abstract description 
of relevant scenarios, and a discrete-continuous model to produce reference outputs for the actual system. As an 
application example we use a fictitious autonomous cruise control system (ACC). We argue that rapid prototyping 
approaches fit well with the use of models that serve as specifications, as basis for test case generation, or as basis 
for production code generation.