One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Modeling and simulation of tests for agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
| Hi-index | 0.00 |
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 imprecision in the continuous parts, requiresan 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 isto 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 .t well with the use of models that serve asspecifications, as basis for test case generation, or as basis for production code generation.