||Extract subsystem or subchart contents into new model|
Create and run test cases by using the model coverage MATLAB® commands
Create a test object that specifies the model or part of the model tested.
Execute (simulate) the test object. This creates a results object for the test object.
Retrieve specific coverage information after simulation using MATLAB commands.
Save the test object and its results object in a file.
Load the file containing test and results objects to create new reports of model coverage data.
Describes the difference between MCDC coverage in Simulink® Design Verifier™ and in Simulink Verification and Validation™.
Using Existing Coverage Data during Subsystem Analysis (Simulink Design Verifier)
This example shows how Simulink® Design Verifier™ can target its analysis to a single subsystem within a continuous-time closed-loop simulation and generate test cases for missing coverage in that subsystem.
This example shows how to use Simulink® Verification and Validation™ component verification functions to log input signals, create a harness model, and execute test cases.