C Caller ブロックをもつモデルでのテスト生成

スクリプトを開く

この例では、C Caller ブロックおよびカスタム C コードをもつモデルに対するテスト生成の使用方法について説明します。

C Caller ブロックとカスタム コードが含まれるモデルを開く

open_system('sldvexCCallerBlock');

モデルのカバレッジを確認するテストの生成

sldvrun関数を使用して、Simulink® Design Verifier™ 解析を実行します。

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

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

25-Jan-2026 04:49:06
Checking compatibility for test generation: model 'sldvexCCallerBlock'
Compiling model...done
Building model representation...done

25-Jan-2026 04:49:21

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

..........
25-Jan-2026 04:49:29

Completed normally.

Generating output files:

25-Jan-2026 04:49:30
Results generation completed.

    Data file:
    /tmp/Bdoc26a_3146167_2121165/tpfd5df77b/sldv-ex07804984/sldv_output/sldvexCCallerBlock/sldvexCCallerBlock_sldvdata.mat

カバレッジの検証

関数sldvruntestを使用して、テスト スイートがすべてのモデル カバレッジを達成することを検証します。

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

クリーン アップ

すべてのモデルを閉じて例を完了します。

close_system('sldvexCCallerBlock', 0);