ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

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

コンポーネント テスト データの管理、SIL または PIL シミュレーションでのテスト スイートの実行、Model Verification ブロックの設定

モデル内の参照モデル、サブシステム、または Atomic サブチャートを解析し、シミュレートします。サブシステムまたは参照モデルをハーネス モデルに抽出することによって、テスト用に分離します。ブロックに対して割り当てられた仕様に従って、シミュレーション中にモデルの時間領域信号を監視します。信号の検証を作成し、シミュレーションの入力グループを基にそれらを選択的に適用します。

ブロック

Assertion信号がゼロかどうかのチェック
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信号が静的上限より小さい (またはオプションで等しい) かどうかのチェック

トピック

コンポーネント検証

モデルの機能ユニットを、単独で、またはより大きなシステムのコンテキストで検証するための手法。

Verification Manager を使用したシミュレーション テストの構築

Simulink® Model Verification ライブラリ ブロックは、ブロックに対して割り当てられた仕様に従い、モデルの時間領域信号を評価します。