
xxvi Book Introduction
MBT are presented as well as everyday engineering issues related to MBT process deploy-
ment in the context of the system-level functional testing. Examples illustrate the appli-
cability of the techniques for industrial-scale mainstream production projects. In addition,
the limitations of the approaches are outlined.
Part VI. Testing at the Lower Levels of Development
The chapter “Testing-Based Translation Validation of Generated Code” provides an
approach for model-to-code translation that is followed by a validation phase to verify
the target code produced during this translation. Systematic model-level testing is sup-
plemen ...