System and Method for Automatically Testing a Model

[0030]The present invention will now be described with reference to the accompanying figures. It is to be understood that the specific system and method illustrated in the attached figures and described in the following specification is simply an exemplary embodiment of the present invention. Hence, specific dimensions and other physical characteristics related to the embodiments disclosed herein are not to be considered as limiting.

[0031]Based on the recognized problems and the criteria that have been proven to be advantageous in the reviewed related work, the first shape of MiLEST may be outlined. In particular, the following are in focus:

[0032](a) Systematic and automatic test data generation process is supported. Here, not only a considerable reduction of manual efforts is advantageous, but also a systematic selection of test data for testing functional requirements including such system characteristics as hybrid, time-constrained behavior is achieved. By that, the method is cheape