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

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

シミュレーション中にカバレッジを収集して、テストされるモデルまたは 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`	Generate default options for `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

トピック

モデルカバレッジの定義

モデルカバレッジ
モデルオブジェクトのテストの達成度を測定してモデルテストを検証。
モデルカバレッジの種類
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 の最適化とモデルカバレッジ
インラインパラメーター、ブロック削減、条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。
カバレッジ設定
Simulink Coverage 解析オプションを指定します。
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 コマンドはシミュレーションを並列実行します。そうでない場合、シミュレーションは逐次実行されます。

スクリプトを開く