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
slvnvharnessoptsGenerate default options for slvnvmakeharness
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

トピック

モデル カバレッジの定義

モデル カバレッジの使用

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