User`s guide

12 Verifying Generated Code for a Component
12-2
Verify Generated Code for a Component
In this section...
“About the Example Model” on page 12-2
“Prepare the Component for Verification” on page 12-4
“Create and Log Test Cases” on page 12-6
“Merge Test Case Data” on page 12-7
“Record Coverage for Component” on page 12-7
“Execute Component in Simulation Mode” on page 12-8
“Execute Component in Software-in-the-Loop (SIL) Mode” on page 12-9
About the Example Model
This example uses the slvnvdemo_powerwindow example model to show how to verify
a component in the context of the model that contains that component. As you work
through this example, you use the Simulink Verification and Validation component
verification functions to create test cases and measure coverage for a referenced model.
In addition, you execute the referenced model in both simulation mode and Software-
in-the-Loop (SIL) mode using the Code Generation Verification (CGV) API and then
compare the results.
Note: You must have the following product licenses to run this example:
• Stateflow
• Embedded Coder
• Simulink Coder™
The component you verify is a Model block named control. This component resides
inside the power_window_control_system subsystem in the top level of the
slvnvdemo_powerwindow model.