Atomic サブシステムの back-to-back (MIL/SIL) 等価性テスト

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

この例では、Atomic サブシステムの back-to-back テストを作成して実行する方法を示します。このテストは等価性テストとも呼ばれます。

Model with plant and controller subsystems

モデルのコードの生成

モデルを開き、Simulink を実行するシステムを構成して、モデル全体のコードを生成します。

model = 'sltestMILSILEquivalence'; 
open_system(model);
% Configure for code generation
if ismac
    lProdHWDeviceType = 'Intel->x86-64 (Mac OS X)';
elseif isunix
    lProdHWDeviceType = 'Intel->x86-64 (Linux 64)';
else
    lProdHWDeviceType = 'Intel->x86-64 (Windows64)';
end

set_param(model, 'ProdHWDeviceType', lProdHWDeviceType);
slbuild(model);

### Searching for referenced models in model 'sltestMILSILEquivalence'.
### Total of 1 models to build.
### Starting build procedure for: sltestMILSILEquivalence
### Successful completion of build procedure for: sltestMILSILEquivalence

Build Summary

Top model targets:

Model                    Build Reason                                         Status                        Build Duration
==========================================================================================================================
sltestMILSILEquivalence  Information cache folder or artifacts were missing.  Code generated and compiled.  0h 0m 27.367s 

1 of 1 models built (0 models already up to date)
Build duration: 0h 0m 30.502s

テストマネージャーと [モデルコンポーネントのテスト] ウィザードを使用した back-to-back テストの作成

1.テストマネージャーを開きます。

sltest.testmanager.view;

2.[新規]、[モデルコンポーネントのテスト] をクリックします。

Menu selection for Test for Model Component

3.[現在のモデルを使用] アイコンをクリックして [最上位モデル] フィールドに sltestMILSILEquivalence モデルを追加します。Controller を選択し、プラス記号をクリックします。その後、[次へ] をクリックします。

Create test for model component wizard with controller subsystem selected

4.[最上位モデルからのコンポーネント入力をテスト入力として使用] を選択します。その後、[次へ] をクリックします。

Create test for model component wizard with using component input from the top model as test input selected

5.[back-to-back テストを実行する] を選択します。[シミュレーション 1] が [Normal] に設定され、[シミュレーション 2] が [Software-in-the-Loop (SIL)] に設定されていることを確認します。その後、[次へ] をクリックします。

Create test for model component wizard with back-to-back testing selected

6.テストデータと生成されたテストの保存については既定値のままにします。

テストハーネスの入力ソースの選択: Inports
ファイル形式を指定: MAT
テストデータを保存する場所を指定: "sltest_sltestMILSILEquivalence"
テストファイルの場所: "sltest_sltestMILSILEquivalence_tests"

その後、[完了] をクリックします。[モデルコンポーネントのテストの作成] で back-to-back (等価性) テストが生成され、テストマネージャーに戻ります。

Create test for model component wizard with Inports as the test harness input source, MAT as the file format, and the default locations to save the test data and generated test.

7.テストマネージャーの [テストブラウザー] ペインで、テストファイル sltest_sltestMILSILEquivalence_tests を選択します。[カバレッジの設定] セクションを展開してカバレッジ収集を有効にします。[収集するカバレッジ] で [テスト対象システムのカバレッジを記録] を選択します。[カバレッジメトリクス] で [判定] と [MCDC] を選択します。カバレッジでテストの完全性が評価されます。

Coverage settings

8.sltestMILSILEquivalence_Harness1 テストケースを選択します。[シミュレーション 1] と [シミュレーション 2] のセクションを展開し、[テスト対象システム] と [シミュレーション設定とリリースのオーバーライド] のサブセクションをそれぞれ展開して設定を確認します。

Test Manager with simulation one set for normal mode

Test Manager with simulation two set for software-in-the-loop mode

テストの実行と結果の表示

1.テストマネージャーのツールバーで [実行] をクリックします。

2.テストの実行が完了したら、[結果とアーティファクト] ペインで [結果] を選択し、[カバレッジの結果の集計] セクションを表示します。ノーマルシミュレーションと SIL シミュレーションの両方のカバレッジが 100% であり、選択したモデルカバレッジメトリクスに対してテストが完全であることを示しています。

Aggregated coverage results

3.[結果] の階層を展開し、Equivalence Criteria Result の下にある Out1:1 を選択します。ノーマルシミュレーションと SIL シミュレーションの差がゼロであり、両方のシミュレーションで同じ結果が得られることを示しています。

Results display showing matching sim output for both simulations and zero difference between the signals

モデルを閉じ、テストマネージャーをクリアして閉じる

close_system(model,0)
sltest.testmanager.clear
sltest.testmanager.clearResults
sltest.testmanager.close

参考

トピック

back-to-back 等価性テスト