Simulink® Coverage™ は、論理条件、意図しない機能、スイッチの位置など、テストされていない設計要素をシミュレーション時に示すために、モデル カバレッジとコード カバレッジを測定します。生成されたレポートのモデルと強調表示されたモデルにおいて、カバレッジ情報を確認し、未達カバレッジを特定し、関連する要件に移動します。カバレッジ目標を満たすために要件、テスト ケースまたは設計を修正する必要があるかどうかを判断します。
cvtest | Create model coverage test specification object |
cvsim | Simulate and return model coverage results for test objects |
cvhtml | Produce HTML report from model coverage objects |
cvmodelview | Display model coverage results with model coloring |
executioninfo | Retrieve execution coverage information from cvdata object |
conditioninfo | Retrieve condition coverage information from cvdata object |
decisioninfo | Retrieve decision coverage information from cvdata object |
mcdcinfo | Retrieve modified condition/decision coverage information
from cvdata object |
モデル オブジェクトのテストの達成度を測定してモデル テストを検証。
エンドツーエンドの体系的検証での Simulink Coverage
Simulink Coverage を使用して、エンドツーエンドの体系的検証によって設計の信頼度を向上する方法について学習する
Simulink エディターで、カバレッジ記録のオプションをいくつか指定する。
Specify the Simulink Coverage analysis options.
Simulink Coverage に備わっているモデル カバレッジ メトリクス。
モデル要素を強調表示してカバレッジの結果を確認する。
再利用可能なサブシステムおよび Stateflow® 構造の累積カバレッジの取得
再利用可能なサブシステムをもつモデルの累積カバレッジ結果の作成および表示。
連続シミュレーションの実行からの累積モデル カバレッジの収集。
モデル カバレッジの MATLAB® コマンド cvtest
および cvsim
を使用して、テスト ケースの作成と実行を行う。
Simulink モデルのカスタム C/C++ コードのカバレッジ
C/C++ S-Function のモデル カバレッジの解析。
Simulink Coverage における改良条件判定カバレッジ (MCDC) 定義
Simulink Coverage で使用される MCDC カバレッジの定義を説明する。
Simulink Design Verifier の改良条件判定カバレッジ
Simulink Design Verifier™ と Simulink Coverage の MCDC カバレッジの違いの説明。
このモデルには、カスケード Logical Operator ブロックのさまざまなパターンが含まれています。
この例では、Simulink® Coverage™ を使用して Logical Operator ブロックのカスケードの MCDC メトリクスを記録する方法を説明します。
インライン パラメーター、ブロック削減、条件付き入力分岐実行がモデル カバレッジ データにどのように影響するかの説明。
シミュレーション時にモデル カバレッジの対象となるモデル オブジェクト。
カバレッジの対象とならない Simulink オブジェクト。
MATLAB Function ブロックのモデル カバレッジを使用した結果の解釈。
モデル テスト ケースがモデル内の制御フローのパスを経由してどの程度シミュレーションを実行するかを判定する。
同じモデルを参照する複数の Model ブロックがモデルにある場合のモデル カバレッジの収集。
このモデル例では、モデル カバレッジと MATLAB Function ブロック内の MATLAB コードの関係について説明します。
この例では、カバレッジとの互換性をもつように、レガシ コード ツールで生成される S-Function を構成する方法を示します。
このモデルをシミュレートして、整数オーバーフローで飽和カバレッジを収集し、レポートします。