Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

S-Function のカバレッジ

この例では、カバレッジとの互換性をもつように、レガシ コード ツールで生成される S-Function を構成する方法を示します。モデル カバレッジ ツールは、次のような S-Function をサポートします。

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

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

  • 関数slcovmexでコンパイルされる。

モデル例を開く

モデル例 sldemo_lct_bus には、レガシ コード ツールで生成された S-Function が含まれています。この S-Function は、判定カバレッジ、条件カバレッジおよび MCDC カバレッジの対象となる構成をもっています。

sldemo_lct_bus を開く

モデル カバレッジとの互換性をもつように S-Function を構成

ファイル counterbus.h および counterbus.c のレガシ ソース コードは、sldemo_lct_bus/slCounter 内と同じアルゴリズムを実装します。レガシ コード ツールのデータ構造体は次のように定義されます。

load_system('sldemo_lct_bus');
open_system('sldemo_lct_bus/TestCounter');

def = legacy_code('initialize');
def.SFunctionName = 'sldemo_sfun_counterbus';
def.OutputFcnSpec = 'void counterbusFcn(COUNTERBUS u1[1], int32 u2, COUNTERBUS y1[1], int32 y2[1])';
def.HeaderFiles   = {'counterbus.h'};
def.SourceFiles   = {'counterbus.c'};

この S-Function にモデル カバレッジとの互換性をもたせるには、次のオプションを有効にします。

def.Options.supportCoverage = true;

関数legacy_codeを使用して S-Function を生成し、コンパイルします。

legacy_code('generate_for_sim', def);
### Start Compiling sldemo_sfun_counterbus
mex -I/tmp/Bdoc21a_1669600_195418/tp0ae4f28c/ex71096464 -c /tmp/Bdoc21a_1669600_195418/tp15d6687b_9924_42ac_8d71_5bdf8b14ab20/counterbus.c -outdir /tmp/Bdoc21a_1669600_195418/tpbb0ada85_8719_4218_a080_14c33593af5b
Building with 'gcc'.
MEX completed successfully.
mex -I/tmp/Bdoc21a_1669600_195418/tp0ae4f28c/ex71096464 /tmp/Bdoc21a_1669600_195418/tp15d6687b_9924_42ac_8d71_5bdf8b14ab20/tp7c5b7554_37cb_455c_b9d5_675a08fcef17.c /tmp/Bdoc21a_1669600_195418/tpbb0ada85_8719_4218_a080_14c33593af5b/counterbus.o -L/mathworks/devel/bat/Bdoc21a/build/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldemo_sfun_counterbus
Building with 'gcc'.
MEX completed successfully.
mex -I/tmp/Bdoc21a_1669600_195418/tp0ae4f28c/ex71096464 -c /tmp/Bdoc21a_1669600_195418/tp0ae4f28c/ex71096464/counterbus.c -outdir /tmp/Bdoc21a_1669600_195418/tpbb0ada85_8719_4218_a080_14c33593af5b
Building with 'gcc'.
MEX completed successfully.
mex -I/tmp/Bdoc21a_1669600_195418/tp0ae4f28c/ex71096464 /tmp/Bdoc21a_1669600_195418/tp15d6687b_9924_42ac_8d71_5bdf8b14ab20/sldemo_sfun_counterbus.c /tmp/Bdoc21a_1669600_195418/tp15d6687b_9924_42ac_8d71_5bdf8b14ab20/tp37d4c460_fc6c_4bd0_97a1_bf8facf7147c.c /tmp/Bdoc21a_1669600_195418/tp15d6687b_9924_42ac_8d71_5bdf8b14ab20/tp5d1f171d_5658_4501_85e2_f997a56fef60.c /tmp/Bdoc21a_1669600_195418/tpbb0ada85_8719_4218_a080_14c33593af5b/counterbus.o -L/mathworks/devel/bat/Bdoc21a/build/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldemo_sfun_counterbus
Building with 'gcc'.
MEX completed successfully.
### Finish Compiling sldemo_sfun_counterbus
### Exit

S-Function カバレッジの有効化

S-Function のカバレッジ収集を有効にするには、[コンフィギュレーション パラメーター] ダイアログ ボックスの [カバレッジ] ペインで [C/C++ S-Function] を選択します。または、コマンド ラインでオプションを設定します。

set_param('sldemo_lct_bus',...
          'CovMetricStructuralLevel', 'MCDC',...
          'RecordCoverage', 'on',...
          'CovSFcnEnable', 'on'...
          );

シミュレーションの実行とカバレッジ レポートの生成

カバレッジ データ収集を有効にすると、モデルをシミュレートしたときにカバレッジ情報が自動的に記録されます。シミュレーションの最後に、カバレッジ情報の HTML レポートを生成できます。このレポートは組み込みの MATLAB® Web ブラウザーに表示されます。

sim('sldemo_lct_bus', 'StopTime', '20');
cvhtml('coverageResults', covdata);

カバレッジ データ オブジェクトからの情報の抽出

cvdata オブジェクトを使用すると、他のサポートされているモデル要素と同様に、S-Function のカバレッジ情報を抽出できます。たとえば、decisioninfo コマンドは、ブロック パスまたはブロック ハンドルからカバレッジ情報を抽出します。出力は、単一のモデル オブジェクトの達成された結果と合計結果を含むベクトルです。

cov = decisioninfo(covdata, 'sldemo_lct_bus/TestCounter/sldemo_sfun_counterbus')
cov =

     3     4

次に、このカバレッジ情報を使用して、カバーされているモデル オブジェクトの割合を計算します。

percentCov = 100 * (cov(1)/cov(2))
percentCov =

    75

S-Function カバレッジには、decisioninfoconditioninfo および mcdcinfo などのモデル カバレッジ コマンドとの完全な互換性があります。