Main Content

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

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

シミュレーション中にカバレッジを収集して、テストされるモデルまたは Stateflow® チャート内の要素を測定します。Simulink® Coverage™ では、実行、判定、条件、改良条件判定カバレッジなど、いくつかのカバレッジ タイプを測定します。最も基本的なカバレッジ レベルでは項目がシミュレーション中に実行されるかどうか判定され、より広範囲なカバレッジ レベルでは、個々の論理条件が完全に実行されているかどうか、およびそれらが論理式の出力に個々に影響するかどうか判定されます。

関数

すべて展開する

simSimulink モデルのプログラムによるシミュレーションの実行とスクリプト化
cvtestモデル カバレッジ テストの仕様オブジェクトの作成
cvsimシミュレーションを実行してテスト オブジェクトのモデル カバレッジ結果を返す
cvdataMATLAB ワークスペースの Simulink Coverage データへのアクセス
cvexitExit coverage environment
parsim動的システムを並列または逐次で複数回シミュレーションする
slvnvlogsignalsLog test data for component or model during simulation
slvnvmergedataCombine test data from data files
slvnvmakeharnessGenerate Simulink Coverage harness model
slvnvharnessoptsslvnvmakeharness の既定のオプションの生成
slvnvmergeharnessCombine test data from harness models
slvnvruntestSimulate model by using input data
slvnvruncgvtestUse Code Generation Verification (CGV) API to execute model
slvnvruntestoptsGenerate simulation or execution options for slvnvruntest or slvnvruncgvtest
slvnvextractExtract atomic subsystem or subchart contents into new model

モデル設定

すべて展開する

カバレッジ解析を有効にするAnalyze coverage
カバレッジ解析のスコープSet scope of coverage analysis
モデルの選択Select models to include in coverage analysis
サブシステムの選択Select subsystem to include in coverage analysis
解析に含める:MATLAB ファイルEnable coverage for external MATLAB files
解析に含める:C/C++ S-FunctionAnalyze coverage for C/C++ S-Function blocks
構造カバレッジ レベルTypes of coverage to analyze
ルックアップ テーブルEnable lookup table coverage
信号範囲Enable signal range coverage
信号サイズEnable signal size coverage
オブジェクティブと制約Enable objectives and constraints coverage
整数オーバーフローで飽和Enable saturation on integer overflow coverage
関係演算子の境界Enable relational boundary coverage
関係演算子の境界カバレッジの絶対許容誤差Relational boundary coverage absolute tolerance
関係演算子の境界カバレッジの相対許容誤差Relational boundary coverage relative tolerance
カバレッジの記録期間を制限Analyze coverage during a specific time interval
カバレッジ期間の開始時間Simulation time to begin coverage analysis
カバレッジ期間の終了時間Simulation time to stop coverage analysis
ブロック削減を強制オフAnalyze coverage for every supported block in model
Simulink 論理ブロックをショートサーキットとして扱うUse logical short-circuiting during coverage analysis
MCDC モードModified condition decision coverage analysis mode
モデル内にサポートされていないブロックがある場合は警告するDisplay a warning if Simulink Coverage detects unsupported blocks
カバレッジ メトリクスの設定Coverage metrics to analyze
次のモデルのカバレッジを記録Record coverage during simulation
参照モデルのカバレッジを記録Analyze coverage for referenced models
最上位モデルを含めるInclude top-level model in coverage analysis
バリアントの非アクティブな選択肢を除外Exclude inactive choices of variants (R2022a 以降)
一時停止でカバレッジの結果を更新Update coverage results on pause
出力データを保存Save coverage data results to file

トピック

モデル カバレッジの定義

モデル カバレッジの使用

Stateflow チャートのモデル カバレッジ