User`s guide

xiii
Model Component Testing
Overview of Component Verification
11
Component Verification . . . . . . . . . . . . . . . . . . . . . . . . . 11-2
Component Verification Approaches . . . . . . . . . . . . . . 11-2
Simulink Verification and Validation Tools for Component
Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-2
Basic Approach to Component Verification . . . . . . . . . 11-4
Workflow for Component Verification . . . . . . . . . . . . . 11-4
Verify a Component Independently of the Container
Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-6
Verify a Model Block in the Context of the Container
Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-7
Functions for Component Verification . . . . . . . . . . . . . 11-8
Verifying Generated Code for a Component
12
Verify Generated Code for a Component . . . . . . . . . . . 12-2
About the Example Model . . . . . . . . . . . . . . . . . . . . . . 12-2
Prepare the Component for Verification . . . . . . . . . . . 12-4
Create and Log Test Cases . . . . . . . . . . . . . . . . . . . . . 12-6
Merge Test Case Data . . . . . . . . . . . . . . . . . . . . . . . . . 12-7
Record Coverage for Component . . . . . . . . . . . . . . . . . 12-7
Execute Component in Simulation Mode . . . . . . . . . . . 12-8
Execute Component in Software-in-the-Loop (SIL)
Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12-9