Main Content

万博1manbetxCoverage入門

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

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

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

業界標準には、做资格工具包IEC Certification Kitによって対応しています。

チュートリアル

注目の例

ビデオ

Simulink Coverage とは
Simulink Coverageの基本概念を学習する。

要件に基づくテストのワークフロー例
Simulink CoverageRequirements Toolbox™Simulink Test™、およびSimulink Design Verifier™を使用した要件に基づくテスの開始方法を学習する