Model-Based Testing for Embedded Systems

Taxonomy of MBT for Embedded Systems 13

be performed on different machines, at different levels of abstractions, and in different

environments. If the test generation process is slower than test execution, then there are

obvious advantages to minimizing the number of times tests are generated (preferably

only once).

1.3.2.3 Result of the generation

Test generation usually results in a set of test cases that form test suites. The test cases are

expected to ultimately become executable to allow for observation of meaningful verdicts

from the entire validation process. Therefore, in the following, the produced test cases are

described from the execution point of view, and so they can be represented in different

forms, such as test scripts, test models, or ...