Main Content

モデル コンポーネントのテスト

コンポーネント テスト データの管理、SIL または PIL シミュレーションでのテスト スイートの実行、Model Verification ブロックの設定、Polyspace® 解析用オプション ファイルの生成

モデル内の参照モデル、サブシステム、または Atomic サブチャートを解析し、シミュレートします。サブシステムまたは参照モデルをハーネス モデルに抽出することによって、テスト用に分離します。ブロックに対して割り当てられた仕様に従って、シミュレーション中にモデルの時間領域信号を監視します。信号の検証を作成し、シミュレーションの入力グループを基にそれらを選択的に適用します。Polyspace を使用して Simulink® モデルから生成されたコードを解析するためのオプション ファイルを生成し、パッケージ化します。パッケージ化されたオプション ファイルは、生成コードの Polyspace 解析を Simulink とは別に実行する際に役立ちます。たとえば、分散型のワークフローでは、Polyspace 解析を Simulink がない環境で行うこともあります。パッケージ化されたオプション ファイルを使用することで、生成コードのモデル固有コンテキストが保持されます。

ブロック

Assertion信号がゼロかどうかのチェック
Check Discrete Gradient連続した離散信号のサンプル間の差の絶対値が指定値未満であるかどうかのチェック
Check Dynamic Gap幅の変化のギャップが信号の振幅の範囲内であるかどうかのチェック
Check Dynamic Lower Boundある信号が別の信号より常に小さいかどうかのチェック
Check Dynamic Range信号がタイム ステップ間で変化する振幅の範囲内であるかどうかのチェック
Check Dynamic Upper Boundある信号が別の信号より常に大きいかどうかのチェック
Check Input Resolution入力信号が指定された分解能をもつかどうかのチェック
Check Static Gapギャップが信号の振幅の範囲内にあるかどうかのチェック
Check Static Lower Bound信号が静的下限より大きい (またはオプションで等しい) かどうかのチェック
Check Static Range信号が固定の振幅範囲内にあるかどうかのチェック
Check Static Upper Bound信号が静的上限より小さい (またはオプションで等しい) かどうかのチェック

関数

polyspacePackNGoSimulink から生成されたコードで Polyspace 解析を実行するためのオプション ファイルを生成してパッケージ化 (R2020b 以降)
polyspaceArtifactGenerate artifacts to run Polyspace analysis on code generated from Simulink model (R2024a 以降)
pslinkoptionsSimulink モデル、生成コード、または S-Function ブロックのコンフィギュレーションをカスタマイズするオプション オブジェクトを作成。MATLAB コマンド ラインからの Polyspace 実行について、これらの Simulink オブジェクトのコンフィギュレーション オプションを、そのオブジェクトを使用して指定。

トピック