このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

この例では、テスト ケース生成のために 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 Design Verifier と互換性をもつよう S-Function をコンパイル

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

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

mex C:\Users\vshukla\AppData\Local\Temp\tp37bf0258_88f4_4a94_8e49_abdccfd71796\tp3db1cfdc_3519_4db9_a100_86500770fec5.c C:\Users\vshukla\AppData\Local\Temp\tp37bf0258_88f4_4a94_8e49_abdccfd71796\tp96c556a3_4eb5_445d_b5e9_78f5c3165d25.c F:\37\vshukla.Bdoc23b.j2293581\matlab\extern\lib\win64\mingw64\libmwsl_sfcn_cov_bridge.lib -output sldvexSFunctionHandlingSFcn
Building with 'MinGW64 Compiler (C)'.
MEX completed successfully.
mex sldvexSFunctionHandlingSource.c C:\Users\vshukla\AppData\Local\Temp\tp37bf0258_88f4_4a94_8e49_abdccfd71796\sldvexSFunctionHandlingSFcn.c C:\Users\vshukla\AppData\Local\Temp\tp37bf0258_88f4_4a94_8e49_abdccfd71796\tpfb62fa97_b97f_4628_b045_d5ca69903cfb.c C:\Users\vshukla\AppData\Local\Temp\tp37bf0258_88f4_4a94_8e49_abdccfd71796\tpb533290b_6b4c_4265_a3b7_886b6c8bfeb1.c F:\37\vshukla.Bdoc23b.j2293581\matlab\extern\lib\win64\mingw64\libmwsl_sfcn_cov_bridge.lib -output sldvexSFunctionHandlingSFcn
Building with 'MinGW64 Compiler (C)'.
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 は、生成されたテスト ベクトルで 100% の条件カバレッジおよび判定カバレッジが達成されることを示すカバレッジ レポートを生成します。

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

クリーン アップ

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

close_system('sldvexSFunctionHandlingExample', 0);