モデル カバレッジ解析に対するテスト
Simulink® Design Verifier™ により、モデルのどの部分がシミュレーション中に実行されたかを調べることで、Simulink モデルがどの程度テストされているかを評価することができます。モデルのすべての部分に対してテストされたかどうかを調べます。この解析は、モデルのテストされていない部分の特定に役立ちます。テストされていない部分があると、エラーやバグが検出されない可能性があります。
モデル カバレッジ解析を実行すると、以下のことができます。
欠落しているテスト ケースを特定する。
モデルの品質と信頼性を高める。
特定のカバレッジ レベルを要求する業界標準に準拠することをチェックする。
Simulink Design Verifier は、これらの解析をテスト ワークフローに統合し、カバレッジ ギャップの把握とテストの完全性の向上に役立つ詳細なレポートと可視化を提供します。
トピック
- テスト生成用のモデル カバレッジ オブジェクティブ
テスト ケースは、モデルが条件、判定、改良条件判定 (MCDC) およびカスタムのカバレッジ オブジェクティブを達成できるように生成されます。
- モデル判定カバレッジのテスト ケースの生成
モデルのテスト ケースを生成する過程を順に確認する例。
- Specify Parameter Configuration for Full Coverage
Specify parameter constraint values to achieve full model coverage.
- Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage.
- 拡張 MCDC 解析の基本的なワークフロー
拡張改良条件判定カバレッジ (MCDC) カバレッジ オブジェクティブのテスト ケースを生成するワークフロー。
- 論理演算のショートサーキット
Simulink Design Verifier による論理ブロックのショートサーキットについて説明する。
- カスタム テスト オブジェクティブのワークフローの作成
カスタム テスト オブジェクティブ作成のワークフローを説明する。
- Simulink Design Verifier の拡張 MCDC カバレッジ
拡張 MCDC カバレッジの概念とワークフローについて説明する。
- Simulink Design Verifier の改良条件判定カバレッジ
Simulink Design Verifier と Simulink Coverage™ の MCDC カバレッジの違いの説明。
- Achieve Coverage in Models with Variable-Size Inputs
This example shows you how to achieve model coverage in models with variable-size input signals by using Simulink® Design Verifier™.
- C Caller ブロックをもつモデルでのテスト生成
C Caller ブロックおよびカスタム C コードをもつモデルに対するテスト生成。
- Test Generation for Custom Code in MATLAB Function Block
Simulink Design Verifier analysis supports models that call custom code from MATLAB® function blocks by using
coder.ceval. - Stateflow チャートでのカスタム コードのテスト生成
Stateflow チャートでの、カスタム コードをもつモデルに対するテスト生成。
- S-Function と C/C++ コードに対する Simulink Design Verifier の制限事項と考慮事項
Simulink Design Verifier での S-Function と生成コードの制限事項と考慮事項をリストする。
- 古いリリースのモデルのモデル カバレッジの拡張
Simulink Design Verifier を使用した、リリース間のモデル アップグレードのワークフローの使用方法を説明する。
