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

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

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

関数

すべて展開する

モデルカバレッジの収集

`sim`	Simulink モデルのプログラムによるシミュレーションの実行とスクリプト化
`cvtest`	モデルカバレッジテストの仕様オブジェクトの作成
`cvsim`	シミュレーションを実行してテストオブジェクトのモデルカバレッジ結果を返す
`cvdata`	MATLAB ワークスペースの Simulink Coverage データへのアクセス
`cvexit`	Exit coverage environment
`parsim`	動的システムを並列または逐次で複数回シミュレーションする

個別のコンポーネントの検証

`slvnvlogsignals`	Log test data for component or model during simulation
`slvnvmergedata`	Combine test data from data files
`slvnvmakeharness`	Generate Simulink Coverage harness model
`slvnvharnessopts`	`slvnvmakeharness` の既定のオプションの生成
`slvnvmergeharness`	Combine test data from harness models
`slvnvruntest`	Simulate model by using input data
`slvnvruncgvtest`	Use Code Generation Verification (CGV) API to execute model
`slvnvruntestopts`	Generate simulation or execution options for `slvnvruntest` or `slvnvruncgvtest`
`slvnvextract`	Extract atomic subsystem or subchart contents into new model

モデル設定

すべて展開する

カバレッジ解析

カバレッジ解析のスコープの設定

カバレッジ解析を有効にする	カバレッジの解析
カバレッジ解析のスコープ	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-Function	Analyze coverage for C/C++ S-Function blocks
バリアントの非アクティブな選択肢を除外	Exclude inactive choices of variants (R2022a 以降)

カバレッジメトリクスの選択

構造カバレッジレベル	解析するカバレッジのタイプ
ルックアップテーブル	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
MCDC モード	Modified condition decision coverage analysis mode

カバレッジオプション

カバレッジ記録期間の設定

カバレッジの記録期間を制限	Analyze coverage during a specific time interval
カバレッジ期間の開始時間	Simulation time to begin coverage analysis
カバレッジ期間の終了時間	Simulation time to stop coverage analysis

Simulink の最適化のオーバーライド

ブロック削減を強制オフ	Analyze coverage for every supported block in model
Simulink 論理ブロックをショートサーキットとして扱う	Use logical short-circuiting during coverage analysis

カバレッジシミュレーションオプションの設定

モデル内にサポートされていないブロックがある場合は警告する	Display a warning if Simulink Coverage detects unsupported blocks
一時停止でカバレッジの結果を更新	Update coverage results on pause

トピック

モデルカバレッジの定義

モデルカバレッジ
モデルオブジェクトのテストの達成度を測定してモデルテストを検証。
モデルカバレッジの種類
Simulink Coverage に備わっているモデルカバレッジメトリクス。
Simulink Coverage における改良条件判定カバレッジ (MCDC) 定義
Simulink Coverage で使用可能な MCDC カバレッジの定義を説明する。
Simulink Design Verifier の改良条件判定カバレッジ
Simulink Design Verifier™ と Simulink Coverage の MCDC カバレッジの違いの説明。

モデルカバレッジの使用

Simulink Coverage を使用したモデルの解析
Simulink Coverage の基本的なワークフローを学習する
モデルのカバレッジ結果の生成
モデルを解析してカバレッジ結果を生成する複数の手法の 1 つを選択する。
カバレッジオプションの指定
モデル設定で、カバレッジ解析のオプションをいくつか指定する。
カバレッジの対象となるモデルオブジェクト
シミュレーション時にモデルカバレッジの対象となるモデルオブジェクト。
カバレッジの対象とならないモデルオブジェクト
カバレッジの対象とならない Simulink オブジェクト。
モデルカバレッジタスクの自動化
MATLAB^® コマンドを使用してモデルカバレッジ解析を自動化します。
参照モデルの複数のインスタンスに対するモデルカバレッジ
同じモデルを参照する複数の Model ブロックがモデルにある場合のモデルカバレッジの収集。
再利用可能なサブシステムの累積カバレッジの取得
再利用可能なサブシステムをもつモデルの累積カバレッジ結果の作成および表示。
バリアントブロックのモデルカバレッジ
Simulink Coverage で、Simulink バリアントのカバレッジの結果を表示する方法を学習する。
Simulink の最適化とモデルカバレッジ
インラインパラメーター、ブロック削減、条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。
Collect Relational Boundary Coverage for MinMax Block
This example shows how to view and interpret relational boundary coverage results for a MinMax block in three signal size configurations. For more information about relational boundary coverage, see モデルカバレッジの種類. For more information about relational boundary coverage in the coverage report, see 関係演算子の境界.

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

Stateflow チャートのモデルカバレッジ
Stateflow チャート内の要素に対するカバレッジの定義を説明する。
Stateflow チャートのカバレッジの種類
Stateflow チャートについて収集できるカバレッジメトリクスの説明。
Stateflow Atomic サブチャートのモデルカバレッジ
モデルに Stateflow Atomic サブチャートが含まれる場合のカバレッジ動作。
Stateflow チャートのモデルカバレッジ表示
Stateflow チャートの色分けされたモデルの強調表示を解釈する。
Stateflow 真理値表のモデルカバレッジ
モデルに Stateflow 真理値表が含まれる場合のカバレッジの動作。

注目の例

累積カバレッジ解析

この例では、カバレッジの結果エクスプローラーを使用して、複数回のカバレッジ実行にまたがる累積カバレッジのデータおよびレポートを簡単に生成する方法を説明します。

スクリプトを開く

parsim を使用した並列シミュレーションのカバレッジの記録

この例では、SimulationInput オブジェクトおよび parsim コマンドを使用して、異なるテストケースに対応する Simulink® の複数の並列シミュレーションのカバレッジを記録する方法について説明します。システム上に Parallel Computing Toolbox がインストールされている場合、parsim コマンドはシミュレーションを並列実行します。そうでない場合、シミュレーションは逐次実行されます。