モデルまたはサブシステムの解析
解析用モデルまたはサブシステムを準備し、解析を実行する
Simulink® Design Verifier™ を使用することにより、モデルの構築に沿って設計プロセスをガイドします。既存モデルの互換性をチェックします。解析用に、モデルの互換性の制限を回避するか、モデル要素をカスタマイズします。設計エラー検出を実行し、テスト ケースの生成またはモデルのプロパティ証明を行います。
関数
sldvcompat | モデルに解析との互換性があるかをチェックする |
sldvextract | サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvisactive | ブロック線図の更新を検証 |
sldvoptions | 設計検証オプション オブジェクトの作成 |
sldvtimer | タイマー最適化の識別、変更、および表示 |
sldvrun | モデルの解析 |
sldvexporttoversion | Exports a data file for use in a previous version of Simulink Design Verifier (R2024a 以降) |
トピック
モデルまたはサブシステムの解析
- Simulink Design Verifier の解析モードの確認
Simulink Design Verifier の機能を説明する単純なモデルの解析。 - モデルの解析の実行
Simulink Design Verifier での単純なモデル例の解析。 - Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Simulink Design Verifier のチェック
Simulink Design Verifier の解析のモデル アドバイザー チェックについて説明する。 - Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage. - エクスポート関数モデルの解析
Simulink Design Verifier を使用してエクスポート関数モデルを解析する。 - グローバルな Simulink 関数を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用してグローバルな Simulink 関数でエクスポート関数モデルを解析する。 - Function-Call Subsystem を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用して、Function-Call Subsystem を使用したエクスポート関数モデルを解析する。 - Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform. - Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.
