Simulink Test

テスト対象のシステム (中央)、入力のリスト (左)、パラメーター (下)、評価 (右) を示す図。

要件ベーステスト、Back-to-Back テスト、回帰テストの作成

テストテンプレートを使用して、シミュレーション、ベースライン、および等価性テストを作成します。次の複数の形式を使用してテストデータを定義します。MAT ファイル、Excel スプレッドシート、MATLAB® コード、Signal Editor ブロックのグラフィカルな使用、Test Sequence ブロックを使用したプログラムによるテスト入力シーケンス、または Simulink Design Verifier™ を使用して自動生成されたたテスト入力。

Simulink で back-to-back テストを実行する方法 (2:14)

ドキュメンテーション | 例

2 つのループが並べて表示されている。

継続的インテグレーションを使用したテストの自動化

並列実行を使用することで、大規模なテストスイート、反復、および大規模な Simulink® モデルのスループットを向上できます。テストは、個別に実行することも、一括して実行してテストを自動化し、標準的なテスト環境を設定することもできます。MATLAB のユニットテストを使用してモデルテストを実行し、Jenkins™ などの継続的インテグレーション (CI) システムと統合できます。

GitLab を使用した Simulink モデル検証のための継続的インテグレーション

ドキュメンテーション | 例

シミュレーション データ インスペクターでのテスト結果からの信号のプロット

テストの実行、結果の表示、およびデバッグ

テストは、Simulink Real-Time™ を使用して、通常のシミュレーション モード、アクセラレータモード、ラピッド アクセラレータ モード、ソフトウェアインザループ (SIL) モード、プロセッサインザループ (PIL) モード、またはリアルタイムのハードウェアインザループ (HIL) モードで実行およびデバッグします。Simulink Test™ Support Package for ASAM® XIL Standard を使用して、Simulink Test でサードパーティの HIL ハードウェアを制御します。

モデルスライサーを使用したベースラインテストの失敗のデバッグ (4:03)

ドキュメンテーション | 例

テスト対象コンポーネントのための [テストハーネスの作成] ダイアログと、Test Sequence ブロック、Test Assessment ブロック、テスト対象のコンポーネントを使用したテストハーネス

ユニットテストのためのコンポーネントの分離

テストハーネスにより、Simulink モデルやモデルコンポーネントが分離された統合シミュレーション環境が提供されます。モデルとテストハーネスの間で設計の変更を同期しながら、モデルまたはモデルコンポーネントでテスト固有のシミュレーションを実行できます。オブザーバーを使用して、テスト用のポート、ブロック、接続、またはインターフェイスを追加することなく、Simulink 信号のデバッグおよびテストを行います。

Observer ブロックにより信号線を追加せずに信号を監視 (2:23)

ドキュメンテーション | 例

Test Sequence エディターに、シーケンスのステップ、遷移、および次のステップを示す列が表示されている。Test Sequence ブロックを含むテストハーネスも表示されている。

テストシーケンスおよび評価の作成

MATLAB 言語機能のサブセット (時相演算子、シグナル ジェネレーター、条件付き構造) を使用して、ステップベースおよび時相によるテストシーケンスを含むテストを作成し、シミュレーション結果を評価できます。

ドキュメンテーション | 例

テストマネージャーでの時間的評価エディターの表示

時相要件の検証

自然言語の形式で正確なセマンティクスをもつ時間的評価を含むテストを作成します。これらのテストは、条件、イベント、信号値、遅れを伴う、タイミングに依存する複雑な動作を正確にモデル化できます。

Simulink Test による時間的評価を用いた要件の検証 (6:26)

ドキュメンテーション | 例

レポートを生成してテスト結果を文書化。

テストレポートの作成とテスト結果のアーカイブ

Simulink Test には、実行されたテストの概要と詳細が表示されます。他のユーザーと結果を共有するには、テスト結果をファイルにエクスポートします。このファイルは後からテストマネージャーで確認できます。テストの結果、テストの概要、およびテストの比較に使用した基準を含むレポートを生成します。これらのレポートは、Simulink Report Generator™ を使用してカスタマイズできます。

モデルベースデザインを使用した ISO 26262 準拠の ADAS アプリケーションの開発 (4:22)

ドキュメンテーション | 例

カバレッジレポートを指す矢印とともにカバレッジを示す、テストマネージャーの集計されたカバレッジ結果セクションの画像。

モデルカバレッジとコードカバレッジの測定

Simulink Coverage™ を使用すると、判定、条件、改良条件判定カバレッジ (MC/DC)、関係演算子の境界カバレッジなどのカバレッジメトリクスを収集できます。テストマネージャーのカバレッジ結果から、Simulink Design Verifier を使用して未達カバレッジのテストケースを生成します。

Simulink Coverage とは (1:50)

ドキュメンテーション | 例

リリース別にテストを設定するオプションを含むテストマネージャーのボックスを左側に示した図。このボックスから伸びる矢印は、テスト用に複数のリリースが生成され、テスト結果がテストマネージャーに戻るフローを示している。

複数の MATLAB リリースを使用したテストケースの実行

R2011b 以降の複数の MATLAB リリースを使用してテストケースを実行できるため、実動バージョンでモデルを実行すると同時に、Simulink Test の最新の検証機能も利用できます。

ドキュメンテーション | 例

製品リソース:

ドキュメンテーション 例 ビデオ ユーザー事例 技術情報 要件 リリースノート
電気自動車およびハイブリッド電気自動車向け LG Electronics インバーター。

「モデルベースデザインにより、back-to-back による検証やテストカバレッジ評価など、ISO 26262 の要求に沿った設計手法および検証手法を適用することができました。特に、Simulink Test で自動化したテストケースとレポートは、テスト作業の削減に大きく貢献しました。」

Jeongwon Sohn, LG Electronics