テスト ケース生成のための S-Function の構成

R2026b
スクリプトを開く

この例では、テスト ケース生成のために Simulink® Design Verifier™ と互換性をもつよう S-Function をコンパイルする方法を説明します。Simulink Design Verifier は次の S-Function をサポートします。

  • def.Options.supportCoverageAndDesignVerifier を true に設定して、レガシ コード ツールで生成される。

  • [S-Function Builder] ダイアログ ボックスの [ビルド情報] タブで [Design Verifier のサポートを有効にする] を選択することで、S-Function Builder によって生成される。または

  • オプション -sldv が関数slcovmex (Simulink Coverage)に渡されてコンパイルされる。

Simulink Design Verifier と互換性をもつよう S-Function をコンパイル

手書きの S-Function がファイル sldvexSFunctionHandlingSFcn.c に用意されています。また、ルックアップ テーブルのユーザー ソース コードが sldvexSFunctionHandlingSource.c ファイルに用意されています。関数slcovmex (Simulink Coverage)を呼び出して C-MEX S-Function をコンパイルし、Simulink Design Verifier との互換性をもたせます。

slcovmex('-sldv', ...
        '-output', 'sldvexSFunctionHandlingSFcn',...
        'sldvexSFunctionHandlingSource.c','sldvexSFunctionHandlingSFcn.c');

mex /tmp/Bdoc26b_3351752_1680723/tpdcb316b0_6840_4ede_9dab_c933f5a04ac8/tpd0f180a5_4d35_4386_b96c_b2f6b7880510.c /tmp/Bdoc26b_3351752_1680723/tpdcb316b0_6840_4ede_9dab_c933f5a04ac8/tp1563fb47_8b0f_4a4a_b1d9_7ecc78edf6d8.c -L/mathworks/devel/bat/filer/batfs2566-0/Bdoc26b.3351752/build/runnable/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldvexSFunctionHandlingSFcn
Building with 'gcc'.
MEX completed successfully.
mex sldvexSFunctionHandlingSource.c /tmp/Bdoc26b_3351752_1680723/tpdcb316b0_6840_4ede_9dab_c933f5a04ac8/sldvexSFunctionHandlingSFcn.c /tmp/Bdoc26b_3351752_1680723/tpdcb316b0_6840_4ede_9dab_c933f5a04ac8/tpe9219e2a_be55_4349_a87a_a664d83c753e.c /tmp/Bdoc26b_3351752_1680723/tpdcb316b0_6840_4ede_9dab_c933f5a04ac8/tp0440493e_a3bf_4ebf_9f11_22e6c0ab263c.c -L/mathworks/devel/bat/filer/batfs2566-0/Bdoc26b.3351752/build/runnable/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldvexSFunctionHandlingSFcn
Building with 'gcc'.
MEX completed successfully.

テスト スイートの作成

モデル例 sldvexSFunctionHandlingExample の例には、ルックアップ テーブルのアルゴリズムを実装する手書きの S-Function が含まれています。S-Function ブロックは、1 番目の出力端子で内挿値を返し、2 番目の出力端子で内挿のステータスを返します。2 番目の出力端子は、飽和の下限が発生した場合は値 -1 を、飽和の上限が発生した場合は 1 を、それ以外は 0 を返します。sldvexSFunctionHandlingExample モデルを開き、テスト生成での S-Function のサポートを有効にして解析オプションを構成します。解析を実行すると、Simulink Design Verifier はすべてのカバレッジ オブジェクティブを達成するテスト スイートを返します。

open_system('sldvexSFunctionHandlingExample');


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

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

完全なカバレッジの検証

関数sldvruntestは、テスト スイートがすべてのモデル カバレッジを達成することを検証します。関数cvhtml (Simulink Coverage)は、生成されたテスト ベクトルで 100% の条件カバレッジおよび判定カバレッジが達成されることを示すカバレッジ レポートを生成します。

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

クリーン アップ

デモを完了するには、すべてのモデルを閉じます。

close_system('sldvexSFunctionHandlingExample', 0);