高速リスタートモードを使用したスライスシミュレーションのデバッグ

モデルスライサーを高速リスタートモードで使用することで、複数のスライサーのシミュレーションを実行し、モデルデバッグのワークフローを効率化します。詳細については、高速リスタートのご利用の前にを参照してください。

高速リスタートモードを有効にすると、次のことが可能になります。

モデルを再コンパイルすることなく、さまざまな入力を使用して、複数のスライサーのシミュレーションを効率的に実行する。
シミュレーションの主要なタイムステップをステップ実行し、スライスがどのように変化するかを検証しながら、シミュレーションをデバッグする。詳細については、シミュレーションのステップ実行を参照してください。

モデルスライスでのテストケースのシミュレーションおよびデバッグ

この例では、高速リスタートモードでどのようにして、さまざまなテストケース入力を使用し、モデルを再コンパイルすることなく、スライサーのシミュレーションが実行されるかについて説明します。テストケース入力を使用してスライス化されたハーネスモデルをシミュレートし、依存関係の分析をモデル内で強調表示できます。

タイムステップをステップ実行することで、強調表示されたスライスを解析します。シミュレーションステッパーを使用して、各タイムステップでスライスがどのように変化するかを解析します。

1.sldvdemo_cruise_control モデルを開きます。

open_system('sldvdemo_cruise_control');

2.sldvoptions パラメーターを設定し、指定したオプションを使用してモデルを解析します。

opts = sldvoptions;
opts.Mode = 'TestGeneration';             % Perform test-generation analysis
opts.ModelCoverageObjectives = 'MCDC';    % Specify type of model coverage
opts.SaveHarnessModel = 'on';             % Save harness as model file
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);

04-Nov-2023 00:18:46
Checking compatibility for test generation: model 'sldvdemo_cruise_control'
Compiling model...done
Building model representation...done

04-Nov-2023 00:18:55

'sldvdemo_cruise_control' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 04-Nov-2023 00:18:55...


Generating output files:

    Harness model:
    /tmp/Bdoc23b_2441567_3122684/tp1183f9dc/slcheck-ex45330953/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_harness.slx

04-Nov-2023 00:19:20
Results generation completed.

    Data file:
    /tmp/Bdoc23b_2441567_3122684/tp1183f9dc/slcheck-ex45330953/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_sldvdata.mat

解析後、ハーネスモデル sldvdemo_cruise_control_harness が開かれ、既定の場所 <current_folder>\sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_harness.slx に保存されます。

3.[モデルの検証とテスト] ギャラリーの下の [アプリ] タブで、[モデルスライサー] をクリックします。モデルスライサーはモデルをコンパイルします。

モデルスライサーを開いた後に高速リスタートを有効にできます。[シミュレーション時間枠] を選択し、[シミュレーションを実行] ボタンをクリックします。[シミュレーション時間枠の記録] で [ここ] リンクをクリックして、高速リスタートを有効にします。

5.モデルスライサーで [すべての出力端子を追加] をクリックして、[開始点] を追加します。

throt 出力端子および target 出力端子が [開始点] として追加されます。

6.テストケースをシミュレートし、スライス内で強調表示された依存関係を解析できます。

(a) Signal Editor ブロックで Test Case 1 を選択します。

(b) Simulink® エディターで [すべて実行] ボタンを使用してモデルをシミュレートします。モデルスライサーの [シミュレーション時間枠] を使用してシミュレートすることもできます。

スライスでは、Test Case 1 の入力の依存関係が強調表示されています。

さまざまなテストケース入力についてスライスをシミュレートし、依存関係の分析を行うことができます。

7.シミュレーションステッパーを使用して、スライサーのシミュレーションをデバッグします。詳細については、シミュレーションのステップ実行を参照してください。

(a) sldvdemo_cruise_control_harness モデルについて Simulink® エディターでテストケースのシミュレーションをデバッグするために、[ステップを進める] ボタンをクリックします。各タイムステップで、信号値および強調表示されたスライスを参照できます。詳細については、Simulation Stepping Optionsを参照してください。T=0.010 での信号値および依存関係が表示されます。

(b) T=0.030 でのスライスをデバッグするために、ステップを進めて、信号値および強調表示されたスライスを表示します。

8.[実行] ボタンをクリックして、シミュレーションステップを終了します。

参考

機能の依存関係の強調表示

Simulink エディターでのシミュレーションのデバッグ

高速リスタートのご利用の前に

高速リスタート モードを使用したスライス シミュレーションのデバッグ

モデル スライスでのテスト ケースのシミュレーションおよびデバッグ

参考

高速リスタートモードを使用したスライスシミュレーションのデバッグ

モデルスライスでのテストケースのシミュレーションおよびデバッグ