コンポーネント検証関数

Simulink^® Design Verifier™ ソフトウェアには、コンポーネント検証に関するタスクを容易にする関数がいくつか用意されています。

関数	タスク
sldvlogsignals	Simulink モデルのシミュレーションを実行し、そのモデルの Model ブロックへの入力信号をログに記録します。Signal Builder のハーネス モデルのテスト ケースを変更する場合、ハーネス モデル自身への入力信号のログにはこのアプローチを使用します。
sldvmakeharness	既定の信号を使用するか、ログに記録された入力信号が指定されていればそれを使用して、コンポーネントのハーネス モデルを作成します。 ハーネス モデルの詳細は、Simulink Design Verifier ハーネス モデルの管理を参照してください。
sldvmergeharness	複数のハーネス モデルのテスト ケースを 1 つのハーネス モデルにマージします。
sldvextract	Atomic サブシステムまたは Atomic サブチャートを新しいモデルに抽出します。
sldvruntest	モデルをシミュレートし、指定されたテスト ケースを実行して、モデル カバレッジおよび出力端子の値を記録します。
sldvruncgvtest	コード生成検証 (CGV) API を呼び出して、モデルの生成されたコードで、指定されたテスト ケースを実行します。 メモ 異なる実行モードでモデルを実行するには、CGV API を使用して結果の数値的等価性を検証します。CGV API の詳細については、プログラムによるコード生成の検証 (Embedded Coder)を参照してください。

コンポーネント検証関数は、次の Simulink 機能をサポートしません。

• sldvruntest の可変ステップ ソルバー

• 以下を含むコンポーネントのインターフェイス

  • 可変サイズの信号

  • 128 ビットより大きいマルチワードの固定小数点データ型