Simulink Coverage 入門
Simulink® Coverage™ はモデルおよびコードのカバレッジ解析を実行し、モデルと生成されたコードのテストの完全性を測定します。判定、条件、改良条件判定カバレッジ (MCDC) などの業界標準メトリクス、モデルのシミュレーション テストの有効性を評価する関係演算子境界カバレッジ、ソフトウェアインザループ (SIL)、およびプロセッサインザループ (PIL) を適用します。未達カバレッジ データを利用して、テストのギャップ、欠落した要件、または意図しない機能を見つけることができます。
Simulink Coverage はモデル、C/C++ S-Function、MATLAB® 関数、および Embedded Coder® により生成されたコードがどの程度実行されたかを示す対話型のレポートを生成します。ブロックおよびサブシステムのカバレッジ結果を強調表示し、テスト時のギャップを可視化できます。テストの完全性を評価するために、複数回テストを実行してカバレッジ データを蓄積し、ユニット テストとシステム テストで達成したカバレッジを表示できます。カバレッジの結果を要件とテストまでたどることができます。フィルターを適用してブロックをカバレッジから除外したり、レポートの未達カバレッジを正当化したりできます。
業界標準には、DO Qualification Kit と IEC Certification Kit によって対応しています。
チュートリアル
- 構造カバレッジ メトリクス
モデル カバレッジに関連する基本の用語を学習する。
- ステップ 1: カバレッジの有効化とメトリクスの選択
- ステップ 2: カバレッジの解析と結果の表示
- ステップ 3: 未達カバレッジの解決
- ステップ 4: レポートの作成とアーカイブ
- Simulink Test のテスト マネージャーを使用したモデル カバレッジの解析
テスト マネージャーでカバレッジを収集するワークフローについて学習する。
Simulink Coverage の基本的なワークフローを学習する
注目の例
ビデオ
Simulink Coverage とは
Simulink Coverage の基本概念を学習する。
要件に基づくテストのワークフロー例
Simulink Coverage、Requirements Toolbox™、Simulink Test™、および Simulink Design Verifier™ を使用した要件に基づくテスの開始方法を学習する