拡張 MCDC を使用した back-to-back テストの作成と実行

この例では次を使用します。

この例では、拡張 MCDC を使用して back-to-back テストを作成および実行する方法を説明します。拡張 MCDC では、モデル内のそれぞれのオブジェクティブの検出可能性の解析が行われ、それぞれのオブジェクティブについてマスキングなしのテストケースが生成されます。詳細については、Simulink Design Verifier の拡張 MCDC カバレッジを参照してください。

Simulink® Test™ での back-to-back テストは、ノーマルシミュレーションの結果を、ソフトウェアインザループ、プロセッサインザループ、またはハードウェアインザループのシミュレーションから生成されたコードの結果と比較します。

セクション 1: モデルの準備

1.モデルを開きます。

model = ('sldvSliceCruiseControl');
open_system(model);

2.コード生成およびログ記録用にモデルを準備します。

set_param(model, 'ProdHWDeviceType', 'Intel->x86-64 (Linux 64)');
set_param(model, 'ProdLongLongMode', 'on');
set_param(model, 'SaveOutput', 'on');
set_param(model, 'SignalLogging', 'on');
set_param(model, 'SaveFormat', 'Dataset');

メモ: オプションで、モデルの内部信号をテストポイントログ信号 (sldvSliceCruiseControl/CruiseControlMode/opMode/Switch など) としてマークし、拡張 MCDC 解析中にこれらの信号が検出サイトとして優先されるようにすることもできます。詳細については、テストポイントログ信号を使用した検出サイトの構成を参照してください。

3.コードを生成します。

[アプリ] タブで、[Embedded Coder] をクリックしてから [コード生成] をクリックします。

Embedded Coder® は、モデルのコード生成レポートを生成します。生成されたレポートのウィンドウを閉じます。Simulink Design Verifier は、生成されたコード内のログ信号に関する情報を使用して、拡張 MCDC 用の検出サイトを構成します。コードを生成しない場合、Simulink Design Verifier は、モデル内のテストポイントログ信号に関する情報を使用して、拡張 MCDC 用の検出サイトを構成します。

セクション 2: 拡張 MCDC を使用した back-to-back テストの作成

以下の手順に従って、Simulink Test テストマネージャーで back-to-back テストを作成します。

1.[Simulink Test] タブを開くには、[アプリ] タブの [モデルの検証とテスト] セクションで、[Simulink Test] をクリックします。

2.テストマネージャーを開くには、[テスト] タブで、[Simulink テストマネージャー] をクリックします。

3.[新規]、[モデルコンポーネントのテスト] をクリックします。[モデルコンポーネントのテストの作成] ウィザードが開きます。

4.テスト対象の [最上位モデル] を指定するには、[最上位モデル] フィールドの横にある [現在選択されているモデルコンポーネントの使用] ボタンをクリックしてフィールドに入力します。

5.[次へ] をクリックし、Simulink Design Verifier を使用してテスト入力を生成する方法を指定します。[Design Verifier を使用してテスト入力シナリオを生成する] を選択します。このオプションでは、Simulink Design Verifier を使用してモデルを実行し、入力を作成します。

6.[次へ] をクリックしてテスト方法を選択します。[back-to-back テストを実行する] を選択します。[シミュレーション 1] には、Normal を選択します。[シミュレーション 2] には、Software-in-the-Loop (SIL) を選択します。[モデルカバレッジオブジェクティブを拡張 MCDC として設定] を選択します。