ツールの使い方と結果の処理
ツールを使用してモデルの検証を強化する
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.
