モデル カバレッジ解析に対するテスト
Simulink® Design Verifier™ におけるモデル カバレッジ解析とは、Simulink モデルのどの部分がシミュレーション時に実行されたかを調べることで、モデルのテストがどの程度まで実行されたかを評価するプロセスを指します。モデルの検証と妥当性確認を行い、設計のあらゆる要素が実行されテストされていることを確認するうえで欠かせない手順です。この解析は、モデルのテストされていない部分の特定に役立ちます。テストされていない部分があると、エラーやバグが検出されない可能性があります。
モデル カバレッジ解析を実行すると、以下のことができます。
欠落しているテスト ケースを特定する。
モデルの品質と信頼性を高める。
特定のカバレッジ レベルを要求する業界標準に確実に準拠する。
Simulink Design Verifier は、これらの解析をテスト ワークフローに統合し、カバレッジ ギャップの把握とテストの完全性の向上に役立つ詳細なレポートと可視化を提供します。
トピック
- テスト生成用のモデル カバレッジ オブジェクティブ
テスト ケースは、モデルが条件、判定、改良条件判定 (MCDC) およびカスタムのカバレッジ オブジェクティブを達成できるように生成されます。
- モデル判定カバレッジのテスト ケースの生成
モデルのテスト ケースを生成する過程を順に確認する例。
- Specify Parameter Configuration for Full Coverage
An example of how to 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 の拡張 MCDC カバレッジ
拡張 MCDC カバレッジの概念とワークフローについて説明する。
- 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. For such design models, you can generate test cases for model coverage or perform design error detection to find dead logic or detect design errors. - S-Function および C/C++ コードのサポートの制限事項と考慮事項
Simulink Design Verifier での S-Function および生成コードの制限事項と考慮事項を説明する。
- 古いリリースのモデルのモデル カバレッジの拡張
Simulink Design Verifier を使用した、リリース間のモデル アップグレードのワークフローの使用方法を説明する。
