Main Content


モデル、モデル パラメーター、または解析オプションを調整し、モデルの解析を向上する


  • モデルが実行可能形式にコンパイルされている場合。

  • モデルがコード生成と互換性がある場合。

  • モデルがエラーのない 0 秒シミュレーション (シミュレーションの開始時間と終了時間が 0) を実行する場合。

モデルの互換性がない場合は、診断ビューアーのメッセージを介して非互換を特定し、修正できます。テスト生成アドバイザーの結果を使用して、モデルをよりよく理解できます。これは、大規模なモデルや複雑なモデル、Simulink® Design Verifier™ との互換性が確実に把握できていないモデルで特に便利です。



パラメーター コンフィギュレーション

  • Parameter Configuration for Analysis
    Overview of parameter configuration for Simulink Design Verifier analysis.
  • Specify Parameter Configuration for Full Coverage
    An example of how to specify parameter constraint values to achieve full model coverage.
  • 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 called kpGainsStructure, 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.