このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
モデルまたはサブシステムの解析
解析用モデルまたはサブシステムを準備し、解析を実行する
Simulink® Design Verifier™ を使用することにより、モデルの構築に沿って設計プロセスをガイドします。既存モデルの互換性をチェックします。解析用に、モデルの互換性の制限を回避するか、モデル要素をカスタマイズします。設計エラー検出を実行し、テスト ケースの生成またはモデルのプロパティ証明を行います。
関数
sldvcompat | モデルに解析との互換性があるかをチェックする |
sldvextract | サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvisactive | ブロック線図の更新を検証 |
sldvoptions | 設計検証オプション オブジェクトの作成 |
sldvtimer | タイマー最適化の識別、変更、および表示 |
sldvrun | モデルの解析 |
トピック
モデルまたはサブシステムの互換性チェック
- Simulink Design Verifier の基本的なワークフロー
基本的な Simulink Design Verifier ワークフローの概要。 - モデルの互換性チェック
モデルが Simulink Design Verifier と互換であるかどうかのチェック方法を説明する。
モデルまたはサブシステムの解析
- コンポーネント検証とは
コンポーネント検証の 2 つの方法の概要。 - Stateflow Atomic サブチャートの解析
Simulink Design Verifier ソフトウェアを使用した Atomic サブチャートの解析。 - モデルの解析
Simulink Design Verifier での単純なモデル例の解析。 - 単純なモデルの解析
Simulink Design Verifier の機能を説明する単純なモデルの解析。 - 大規模モデルの解析
大規模モデルを解析するための手法を説明します。 - Simulink Design Verifier のオプション
[コンフィギュレーション パラメーター] ダイアログ ボックスの Simulink Design Verifier オプションの概要。 - Parameter Configuration for 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 関数でエクスポート関数モデルを解析する。 - 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. - コンポーネント検証関数
コンポーネント検証に使用できる Simulink Design Verifier 関数について説明する。 - コード生成コンポーネントの検証
この例ではslvnvdemo_powerwindow
モデルを使用して、あるコンポーネントを、モデルがそのコンポーネントを含むという状況下で検証する方法を示します。