Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
G. Hahn; J. Philipps; A. Pretschner; T.Stauner 
Titel:
Tests for mixed discrete-continuous systems 
Abstract:
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 continuou...    »
 
Stichworte:
model-based testing; test case generation; discrete abstractions; nondeterminism 
Jahr:
2003 
Jahr / Monat:
2003-01-01 00:00:00 
Seiten/Umfang:
13