このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
パラメーター コンフィギュレーション
モデル パラメーターについて、解析時にベース ワークスペースまたはデータ ディクショナリで設定されている既定値以外の追加の値を検討するように Simulink Design Verifier に指示できます。これにより、Simulink Design Verifier の解析プロセス全体を通して、モデル内のパラメーターを変数として扱うことができます。パラメーター コンフィギュレーションは、パラメーターの許容可能な値の範囲を定義します。
たとえば、既定値が 0 に設定された Switch ブロックを含むモデルがあり、その制御端子がキャリブレーション パラメーターの値 K の影響を受けるとします。制御端子の状態は K の値に応じてデッド ロジックまたはアクティブ ロジックとしてレポートされ、テスト ケースのパラメーターの値にもその値が影響します。詳細については、Use Parameter Configuration in Analysisを参照してください。
パラメーターを構成するタイミングは、使用するワークフローによって異なります。
カバレッジのテスト ケースの生成時にパラメーターを構成 - このワークフローでは、パラメーターの値がモデル カバレッジ オブジェクティブに影響するかどうかを評価してからパラメーターを変化させます。
設計エラー検出解析時にパラメーターを構成 - このワークフローでは、パラメーターの値がそれらの値を使用するロジックでランタイム エラーを引き起こすかどうかを確認するために、設計エラーの検出後にパラメーターを変化させます。
トピック
パラメーター コンフィギュレーションの基礎
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Create Parameter Configuration for Simulink Design Verifier Analysis
Configure parameters in a model for analysis. - Parameter Configuration for Variant Blocks
Use parameters to select variants in model. - パラメーター制約のインポートとエクスポート
パラメーター テーブルで指定のパラメーター制約をインポートおよびエクスポートする方法の例。
ワークフローの例
- Automatically Infer Parameter Specification for Analysis
Describes about a workflow to specify parameter configuration. - Determine Parameters from Generated Code
Describes about a workflow to specify parameter configuration. - パラメーター テーブルを使用した制約の検索
解析でパラメーターを変数として指定する方法の例。 - パラメーター コンフィギュレーション ファイルを使用したパラメーターの設定
MATLAB® コード ファイルでパラメーター コンフィギュレーションを定義する方法の説明。 - Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model. Suppose that your model includes a variable calledkpGainsStructure, which is a structure in the MATLAB workspace. The model uses a Bus Selector block to separate the structure fields into individual bus signals. You can constrain the values of the structure or the values of the bus signals to ensure that they stay within the specified range during simulation. - Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.
注目の例
コマンド ライン関数を使用したパラメーターの変更のサポート
この例では、Simulink® Design Verifier™ のコマンド ライン関数を使用して、さまざまなパラメーター値を含むテスト データを生成する方法を説明します。
Tune Lookup Table Data Using Planar Approximations
Tune Lookup Table data using Planar Approximations in Simulink Design Verifier.
パラメーター コンフィギュレーションの適用後の既存テスト ケースの拡張
この例では、パラメーター コンフィギュレーションの適用後に既存のテスト ケースを拡張することで、未達カバレッジをアーカイブする方法を説明します。
パラメーター値の生成
この例では、パラメーター コンフィギュレーション ファイルを使用して Simulink® Design Verifier™ の解析用にパラメーターを調整する方法を説明します。モデルには、アクティブなコントローラーを有効にして、その出力をモデル出力として選択するパラメーター control_mode が含まれます。Simulink Design Verifier はこのパラメーターを 1 または 2 に制約される入力として処理し、各テスト ケースに適切な値を生成します。
