
594 Model-Based Testing for Embedded Systems
that relates model to source code elements and vice versa is analyzed. Nontraceable code
shall be flagged and assessed.
Tool Support: Automatically generated Simulink block comments can be used to pro-
vide tracing information into the generated code. The Traceability Report section of the
Embedded Coder code generation report helps users to establish a mapping between model
constructs and the generated code. It lists eliminated and virtual blocks as well as traceable
blocks. The “Code-to-block highlighting” option generates hyperlinks within the displayed
source code to view the blocks, charts, transitions, ...