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

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

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

関数

すべて展開する

モデルカバレッジの収集

`sim`	Simulink モデルのシミュレーション
`cvtest`	モデルカバレッジテストの仕様オブジェクトの作成
`cvsim`	Simulate and return model coverage results for test objects
`cvdata`	Access Simulink Coverage data in the MATLAB workspace
`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`	Invoke Code Generation Verification (CGV) API and 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 を使用したモデルの解析
Simulink Coverage の基本的なワークフローを学習する
カバレッジオプションの指定
モデル設定で、カバレッジ解析のオプションをいくつか指定する。
カバレッジの対象となるモデルオブジェクト
シミュレーション時にモデルカバレッジの対象となるモデルオブジェクト。
カバレッジの対象とならないモデルオブジェクト
カバレッジの対象とならない Simulink オブジェクト。
Simulink Coverage における改良条件判定カバレッジ (MCDC) 定義
Simulink Coverage で使用可能な MCDC カバレッジの定義を説明する。
Simulink Design Verifier の改良条件判定カバレッジ
Simulink Design Verifier™ と Simulink Coverage の MCDC カバレッジの違いの説明。
Simulink の最適化とモデルカバレッジ
インラインパラメーター、ブロック削減、条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。
参照モデルの複数のインスタンスに対するモデルカバレッジ
同じモデルを参照する複数の Model ブロックがモデルにある場合のモデルカバレッジの収集。
Stateflow チャートのモデルカバレッジ
Stateflow チャート内の要素に対するカバレッジの定義を説明する。

注目の例

累積カバレッジ解析

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

スクリプトを開く

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

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

スクリプトを開く