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

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

シミュレーション中にカバレッジを収集して、テストされるモデルまたは 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 の基本的なワークフローを学習する
カバレッジオプションの指定
モデル設定で、カバレッジ解析のオプションをいくつか指定する。
カバレッジの対象となるモデルオブジェクト
シミュレーション時にモデルカバレッジの対象となるモデルオブジェクト。
カバレッジの対象とならないモデルオブジェクト
カバレッジの対象とならない Simulink オブジェクト。
参照モデルの複数のインスタンスに対するモデルカバレッジ
同じモデルを参照する複数の Model ブロックがモデルにある場合のモデルカバレッジの収集。
バリアントブロックのモデルカバレッジ
Simulink Coverage で、Simulink バリアントのカバレッジの結果を表示する方法を学習する。
Simulink の最適化とモデルカバレッジ
インラインパラメーター、ブロック削減、条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。

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

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

注目の例

累積カバレッジ解析

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

スクリプトを開く

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

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

スクリプトを開く