Test Generation on Model with C Caller Block
This example shows how to use test generation on a model with a C Caller block and custom C code
Open the model containing the C Caller block and custom code
open_system('sldvexCCallerBlock');
Generate tests to ensure coverage of the model
Use the sldvrun
function to run Simulink ® Design Verifier ™ analysis.
opts = sldvoptions; opts.Mode = 'TestGeneration'; opts.ModelCoverageObjectives = 'ConditionDecision'; opts.SaveHarnessModel = 'off'; opts.SaveReport = 'off'; [status, fileNames] = sldvrun('sldvexCCallerBlock', opts);
20-Jul-2024 19:57:30 Checking compatibility for test generation: model 'sldvexCCallerBlock' Compiling model...done Building model representation...done 20-Jul-2024 19:57:50 'sldvexCCallerBlock' is compatible for test generation with Simulink Design Verifier. Generating tests using model representation from 20-Jul-2024 19:57:50... .......... 20-Jul-2024 19:58:05 Completed normally. Generating output files: 20-Jul-2024 19:58:07 Results generation completed. Data file: /tmp/Bdoc24b_2679053_1531807/tp85c144e2/sldv-ex07804984/sldv_output/sldvexCCallerBlock/sldvexCCallerBlock_sldvdata.mat
Verify the coverage
Use the sldvruntest
function to verify that the test suite achieves complete model coverage.
[~, finalCov] = sldvruntest('sldvexCCallerBlock', fileNames.DataFile, [], true); cvhtml('Final Coverage', finalCov);
Clean Up
To complete the example, close all models.
close_system('sldvexCCallerBlock', 0);