Sciweavers

Share
RSP
2003
IEEE

Prototype-Based Tests for Hybrid Reactive Systems

11 years 3 months ago
Prototype-Based Tests for Hybrid Reactive Systems
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 modelbased testing in the automotive domain. Roughly, the idea is wo 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 ...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where RSP
Authors Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Comments (0)
books