Simulink Coverage™ は、モデルおよびコードカバレッジ解析を実行することで、モデルおよび生成コードのテストの完全性を測定します。判定、条件、改良条件判定カバレッジ (MC/DC)、関係演算子境界カバレッジなどの業界標準メトリクスを適用し、モデル、ソフトウェアインザループ (SIL)、およびプロセッサインザループ (PIL) シミュレーション テストの有効性を評価します。未達カバレッジ データを利用し、テストのギャップ、欠落した要件、意図しない機能を検出することができます。

Simulink Coverage は、モデル、C/C++ S-Function、MATLAB^® 関数、Embedded Coder^® によって生成されたコードがどの程度実行されたかを示す対話型のレポートを生成します。ブロックおよびサブシステムのカバレッジ結果を強調表示することで、テストのギャップを可視化できます。複数のテスト実行からのカバレッジデータを集計してテストの完全性を評価できます。フィルターを適用することで、カバレッジからブロックを除外したり、レポート内で未達カバレッジを正当化したりすることも可能です。

DO Qualification Kit や IEC Certification Kit によって業界標準の対応が可能です。