カバレッジ データの管理

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

Simulink®Coverage™ を使用して、カバレッジ結果にアクセスし、管理および集計できます。複数回テストを実行してカバレッジ データを集計し、テストの完全性も評価できます。

アプリ

カバレッジ アナライザーAnalyze, view, and manage coverage data for Simulink models
カバレッジの結果エクスプローラーView, manage, and filter model coverage results

オブジェクト

cvdataMATLAB ワークスペースの Simulink Coverage データへのアクセス
cv.cvdatagroupcvdata オブジェクトの集合

関数

すべて展開する

cvloadカバレッジ テストと保存された結果のメモリへの読み込み
cvsaveカバレッジ設定と結果のファイルへの保存
cvresultsアクティブなカバレッジ データを返す、アクティブなカバレッジ データを消去する、ファイルからアクティブなカバレッジ データを読み込む
executioninfoRetrieve execution coverage information from cvdata object
conditioninfoRetrieve condition coverage information from cvdata object
decisioninfoRetrieve decision coverage information from cvdata object
mcdcinfoRetrieve modified condition/decision coverage information from cvdata object
getCoverageInfoRetrieve coverage information for Simulink Design Verifier blocks from cvdata object
complexityinfocvdata オブジェクトから循環的複雑度カバレッジ情報を取得する
overflowsaturationinfoRetrieve saturation on integer overflow coverage from cvdata object
relationalboundaryinfoRetrieve relational boundary coverage from cvdata object
sigrangeinfoRetrieve signal range coverage information from cvdata object
sigsizeinfoRetrieve signal size coverage information from cvdata object
tableinfoRetrieve lookup table coverage information from cvdata object
extractシステムレベルのカバレッジ データからサブシステムのカバレッジ データを抽出
pstest.exportToPolyspaceProfilingResults(MATLAB Function) Export coverage results from Simulink Coverage, Simulink Test, or MATLAB Test to Polyspace Test (R2025a 以降)

モデル設定

すべて展開する

カバレッジ データ オプションの設定

ワークスペース変数の最後の実行を保存Save results of most recent coverage analysis to MATLAB workspace
cvdata オブジェクト名Name of workspace variable that contains coverage results
各シミュレーション (var1、var2、...) で変数名をインクリメントするCreate new coverage data variable for each simulation
データ ファイル名の自動保存File name for coverage data file
出力ディレクトリカバレッジ出力ファイルのパス
出力データを保存Save coverage data results to file

累積カバレッジ オプションの設定

累積データ収集を有効にするCollect model coverage results from consecutive simulations
累積データをカバレッジ レポートに含めるDisplay coverage results from consecutive simulations in coverage report
累積カバレッジの結果をワークスペース変数に保存Save coverage data from consecutive simulations in a single variable
累積カバレッジ変数名Name of workspace variable that contains cumulative coverage results

トピック

注目の例

モデル カバレッジ ツールの基本操作

モデル カバレッジ ツールの基本操作

この例では、[コンフィギュレーション パラメーター] ダイアログを使用して Simulink® モデルのカバレッジを有効にし、レポートされる情報のタイプを調整する方法を示します。

カバレッジ データの演算の実行

カバレッジ データの演算の実行

Simulink Coverage の和集合、差集合、および共通集合の演算子を使用する方法を説明する。

再利用可能なサブシステムの累積カバレッジの取得

再利用可能なサブシステムの累積カバレッジの取得

再利用可能なサブシステムをもつモデルの累積カバレッジ結果の作成および表示。