このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
ツールの使い方と結果の処理
ツールを使用してモデルの検証を強化する
ツールの使い方と結果の処理には、モデルの解析、検証、および妥当性確認にツールを適用するために使用される手順および手法と、ツールで生成された結果を解釈して利用する方法が含まれます。Simulink® Design Verifier™ を効果的に使用してその結果を処理することで、モデルの信頼性とロバスト性を高めることができるため、システムや製品の信頼性が向上します。
トピック
- Simulink Design Verifier の解析の基礎
Simulink Design Verifier の解析について確認する。
- Simulink Design Verifier の解析オプションの設定
[コンフィギュレーション パラメーター] ダイアログ ボックスの Simulink Design Verifier オプションの概要。
- Design Verifier ペイン: テスト生成
Simulink Design Verifier による解析対象モデルのテスト生成方法を制御するオプションを指定します。
- SimulinkTest へのテスト ケースのエクスポート
プロパティ証明、設計エラー検出およびテスト ケースの生成によって生成される Simulink Design Verifier 解析結果を使用して、Simulink Test™ でテスト ケースを生成する方法を説明する。
- Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.
