Model-Based Testing

Manage component test data, execute test suite in SIL or PIL simulation, configure Model Verification blocks

Simulink® Verification and Validation™ provides an API for you to analyze and simulate referenced models, subsystems, or atomic subcharts in a model. Isolate an atomic subsystem or a model referenced by a larger control system model and extract it into a harness model for additional testing and analysis.


slvnvlogsignals Log test data for component or model during simulation
slvnvmergedata Combine test data from data files
slvnvmakeharness Generate Simulink Verification and Validation harness model
slvnvharnessopts Generate default options for slvnvmakeharness
slvnvmergeharness Combine test data from harness models
slvnvruntest Simulate model using input data
slvnvruncgvtest Invoke Code Generation Verification (CGV) API and execute model
slvnvruntestopts Generate simulation or execution options for slvnvruntest or slvnvruncgvtest
slvnvextract Extract subsystem or subchart contents into new model
slwebview_cov Export Simulink models to Web views with coverage
slwebview_req Export Simulink system to Web views with requirements


Component Verification

Component verification for validating your model.

Basic Approach to Component Verification

Two major workflows for verifying components.

Verify Generated Code for a Component

Verify a component and execute the component in simulation and SIL or PIL mode.

Model Verification Blocks and the Verification Manager

Model Verification blocks to monitor signals in your model.

Construct Simulation Tests Using the Verification Manager

Create a Simulink model to examine the Verification Manager.

Featured Examples

Was this topic helpful?