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

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

Simulink^® Coverage™ を使用して、カバレッジデータを評価し、テストのギャップまたは設計内の問題を見つけることができます。ノーマルモードのシミュレーションのカバレッジ結果を、ソフトウェアインザループ、プロセッサインザループ、またはハードウェアインザループのシミュレーションから生成されたコードの結果と比較できます。

カバレッジレポートとモデルの強調表示は、設計のどの部分がテストケースで十分に実行されたかを理解する上で役立ちます。集計されたテスト結果では、対応する各テストがカバレッジ結果にどの程度寄与しているかも表示できます。

関数

`cvhtml`	モデルカバレッジオブジェクトから HTML カバレッジレポートを作成
`cvmodelview`	モデルを強調表示したモデルカバレッジ結果の表示

モデル設定

すべて展開する

カバレッジ

ワークスペース変数の最後の実行を保存	Save results of most recent coverage analysis to MATLAB workspace
cvdata オブジェクト名	Name of workspace variable that contains coverage results
各シミュレーションで変数名をインクリメント	Create new coverage data variable for each simulation
データファイル名の自動保存	File name for coverage data file
出力ディレクトリ	Path for coverage output files
カバレッジフィルターファイル名	Filename of coverage filter
カバレッジレポートのオプション	Display options for coverage report
カバレッジレポートに含める追加のデータ	Additional coverage data to include in report
バリアントの非アクティブな選択肢を除外	Exclude inactive choices of variants (R2022a 以降)
出力データを保存	Save coverage data results to file

トピック

最上位モデルカバレッジレポート
ソフトウェアで最上位モデル用に作成されるモデルカバレッジレポートの節についての説明。
Simulink キャンバスでのモデルのカバレッジ結果の表示
Simulink キャンバスでモデル要素を強調表示してカバレッジの結果を確認する。
カバレッジレポートの種類
Simulink Coverage では、シミュレーション後に 1 つ以上のモデルカバレッジレポートを作成できます。
カバレッジ結果から関連するテストケースへのトレース
カバレッジレポートの [テスト集計] セクションで、ユニットテストで達成されたシステムテストのカバレッジを表示する。
カバレッジ結果から要件へのトレース
Simulink Test™ を使用して Simulink Coverage レポートで要件のトレーサビリティを表示する。
要件に基づいたテストからのカバレッジ結果の評価
要件に基づいたテストが対応する設計を実行する範囲の評価。
拡張 MCDC を使用した back-to-back テストの作成と実行 (Simulink Design Verifier)
テストマネージャーで、拡張 MCDC を使用して back-to-back テストを作成する。
モデルカバレッジ Web ビューのエクスポート
モデルカバレッジ Web ビューのエクスポート。
Model Coverage Reports for MATLAB Functions
Read and interpret coverage results for a MATLAB Function block.
コードカバレッジレポート
コードカバレッジレポートの節についての説明。