テスト生成やプロパテ​ィ検証において、モデ​ルを複雑にする原因は​なんですか？

テスト生成やプロパティ検証において、モデルを複雑にする原因を教えてください。

Answer 1

[MathWorks Support Team]

モデルを複雑にする要因に付きましては、下記の項目が挙げられます。

・入力ポート数　：　Number of inputs

・入力ポートのデータ型　：　the type of the inputs

・入力信号と状態・オブジェクトの依存関係　： the way inputs affect the model state and the objectives of the analysis

・モデルを通した可能なシミュレーション経路の数：Number of possible simulation paths through a model

・モデルの一部が到達できない：Portions of the model that cannot be reached

・大きなカウンタがモデル内にある：Large signal count in the model

等になります。

詳しい情報が、下記WEBの「Analyzing Large Models and Improving Performance」の「Sources of Model Complexity」に記載されています。

・Sources of Model Complexity

https://www.mathworks.com/help/sldv/ug/handle-incompatibilities-with-automatic-stubbing.html