本页采用了机器翻译。点击此处可查看英文原文。

在 Stateflow 图中为自定义代码生成测试

R2026b
打开脚本

此示例说明如何在 Stateflow® 图中在包含自定义代码的模型上使用测试生成。

在 Stateflow 图中打开包含自定义代码的模型

open_system('sldvSFCustomCodeExample');

生成测试以确保模型的覆盖率

使用 sldvrun 函数运行 Simulink® Design Verifier™ 分析。

opts = sldvoptions;
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'ConditionDecision';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';

[status, fileNames] = sldvrun('sldvSFCustomCodeExample', opts);

07-Aug-2026 02:57:14
Checking compatibility for test generation: model 'sldvSFCustomCodeExample'
Compiling model...done
Building model representation...done

07-Aug-2026 02:57:26

'sldvSFCustomCodeExample' is compatible for test generation with Simulink Design Verifier.
Generating tests...

..........
07-Aug-2026 02:57:33

Completed normally.

Generating output files:

07-Aug-2026 02:57:35
Results generation completed.

    Data file:
    /tmp/Bdoc26b_3351752_1703115/tpb5085f00/sldv-ex18712703/sldv_output/sldvSFCustomCodeExample/sldvSFCustomCodeExample_sldvdata.mat

验证覆盖率

使用 sldvruntest 函数验证测试套件是否实现了完整模型覆盖率。

[~, finalCov] = sldvruntest('sldvSFCustomCodeExample', fileNames.DataFile, [], true);
cvhtml('Final Coverage', finalCov);

清理

要完成示例，请关闭所有模型。

close_system('sldvSFCustomCodeExample', 0);