Coping with Complexity of Testing Models for Real-Time Embedded Systems

Model based testing techniques are a breakthrough in the modern software development. The integration of state-of the-art tools to automatically generate and evaluate tests from a model of the software product allows reducing the effort of testing activities while maintaining quality. A major problem for model based techniques is however the effort and the timing for the model specification. In practice, modeling for test case generation will often happen during the test phase instead of the design phase, implying that there is a high time pressure within the modeling process. Model views can help to reduce the effort spent for the modeling. In our work, we will present an useful approach to views for timed testing models, thus reducing the complexity of the modeling process.