ドキュメンテーション

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

モデル ベースのテスト

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

Simulink® Verification and Validation™ は、モデル内の参照モデル、サブシステム、Atomic サブチャートを解析およびシミュレートするための API を提供しています。Atomic サブシステムまたは規模がより大きい制御システム モデルによって参照されるモデルを分離し、追加テストおよび解析のためにハーネス モデル内に抽出します。

関数

slvnvlogsignals Log test data for component or model during simulation
slvnvmergedata Combine test data from data files
slvnvmakeharness Generate Simulink Verification and Validation harness model
slvnvharnessopts Generate default options for slvnvmakeharness
slvnvmergeharness Combine test data from harness models
slvnvruntest Simulate model using input data
slvnvruncgvtest Invoke Code Generation Verification (CGV) API and execute model
slvnvruntestopts Generate simulation or execution options for slvnvruntest or slvnvruncgvtest
slvnvextract Extract subsystem or subchart contents into new model
slwebview_cov Export Simulink models to Web views with coverage
slwebview_req Export Simulink system to Web views with requirements

例および操作のヒント

基本的なコンポーネント検証の方法

コンポーネント検証の 2 種類の主要なワークフローの説明

コンポーネントに対して生成されたコードの検証

コンポーネントを検証し、コンポーネントをシミュレーション モードと SIL モードで実行する方法の例

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

Verification Manager を調べるために使用できる Simulink モデルを作成します。

Creating and Executing Test Cases

This example shows how to use Simulink® Verification and Validation™ component verification functions to log input signals, create a harness model, and execute test cases.

概念

コンポーネント検証

モデルの検証に対するコンポーネント検証の使い方の説明

Model Verification ブロックと Verification Manager

Model Verification ブロックを使用してモデルの信号を監視する場合

Adding Checks, Tasks and Process Callback to the Model Advisor

この情報は役に立ちましたか?