To what extend is the code generator trustworthy to transfer the tests from the code level to the model level? (Part of Code Verification)

[MarcBehrens]

• Identify software part not generated from higher model (e.g. 'glue code', 'complex algorithms', ...)
• How to verify the software which is not tested on the model level (unit tests,...)
• Integration of part automatically integrated (verify integration of different function at model level)
• Integration of part manually written (check integration of the function itself)