自動テスト生成とリアルタイムHIL実行？

Question

私は、特定の製品を検証するためのリアルタイムの自動テスト生成および実行ソリューションを検討しています。このような目標を達成するためには、あるレベルの正式な方法を適用すると仮定します。

私はSimulink Testの新しいリリースを知っています。私の理解から、このような環境では自動実行が可能ですが、テストケースの自動生成はできません。つまり、ユーザーはSimulink Test GUIを使用して、自動的に実行することができます。

私は、Simulinkモデルを選択するのではなく、テストジェネレーションアドバイザーがテストケースのリストを自動的に生成するようにするSimulink Design Verifierについて認識しています。 Simulink Testにインポートします。

Simulink Testは、リアルタイムHILテストと互換性があると報告されています。それは、Simulinkのリアルタイムおよびスピードオブマシンと互換性があることを意味しますか？

これらの推測は混乱して不正確かもしれませんが、私は地域社会がこれを実行可能にすることに頼っています。

Answer 1

Simulink Testを使用すると、HILのリアルタイムテストを作成できますが、Simulink Real-Timeを実行するターゲットコンピュータでのみ実行することができます （「新しいReal-TimeテストではSimulink®Real-Time™あなたのモデルやテストハーネスのアプリケーションを実行してターゲットコンピュータ上で実行する」、mathworks.com/help/sltest/release-notes.html;「Simulink Real-Time™でSimulink Testを使用する場合、リアルタイムSimulink Testでテストを作成して管理することができます。」、mathworks.com/products/simulink-test/features.html#manage-test-plans-and-test-execution）

Speedgoatについても同じことが言えます。 Simulinkで作成されたテストをSpeedgoatでリアルタイムに実行するには、Simulink Real-Timeが必要です。

Simulinkモデルを処理し、Mx-Suite（danlawinc.com/mx-suite/）やTPT（www.piketec.com/en/）などのハードウェアで自動化されたリアルタイムテストを実行できるテストツールがあります。 2/tpt.html）。 Simulink Real-Time機能も必要です。

後者のTPTは、TASMO（www.youtube.com/watch?v=f9Z5n93bu6o）という名前のツールを使用してSimulinkモデルからテストケースを生成することもできます。 TASMOとDesign Verifierの違いは、TASMOは検索ベースのメカニズムであり、Design Verifierはモデルケースチェックアルゴリズムを使用してテストケースを生成することです。両方のアルゴリズムには長所と短所があり、異なるテストケースを作成します。

Answer 2

Simulink Testを使用して、手動でテストを作成し、SpeedgoatハードウェアでHILで実行することができます。 This documentationはプロセスを詳細に説明しています。

Simulink Testが完全に自動的にテストを生成しないことは間違いありません。 Simulink Testを使用して、半自動的に掃引を実行するテスト反復を作成することができます。

ただし、Simulink Design Verifierを使用して自動的にテストを生成できます。 Simulink Design Verifierは正式な方法を使用し、さまざまな基準（機能要件、カバレッジ/テスト容易性など）を満たすためのテストの生成を徹底的に試みます。これはSimulink Test内で行います。詳細については、this documentationを参照してください。