Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Simulink Coverage

モデルと生成されたコードでテスト カバレッジを測定

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

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

業界標準には、DO Qualification KitIEC Certification Kit によって対応しています。

Simulink Coverage 入門

Simulink Coverage の基礎を学ぶ

モデルのカバレッジの収集

モデルのカバレッジを測定し、テストされていない設計要素を特定する

コードのカバレッジの収集

モデル要素内のコードまたはモデルから生成されたコードのカバレッジを測定する

カバレッジ データの管理

カバレッジ結果にアクセスし、管理および集計する

カバレッジの解析と結果の表示

モデルでカバレッジを強調表示し、カバレッジ レポートを生成して、テストと要件まで結果を遡る

未達カバレッジに対処

カバレッジ結果をフィルター処理し、ギャップに対処する

検証と確認

Simulink 製品を使用して、モデルとコードをテストし、設計エラーの有無をチェックし、標準に対するチェックを行い、カバレッジを測定し、システムを検証

ツールの検定と認定

DO および IEC 認定のための Simulink Coverage の検定