最新のリリースでは、このページがまだ翻訳されていません。このページの最新版は英語でご覧になれます。

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

テストされていない設計要素をシミュレーション時に示すために、モデルカバレッジを測定します

Simulink^® Coverage™ は、論理条件、意図しない機能、スイッチの位置など、テストされていない設計要素をシミュレーション時に示すために、モデルカバレッジとコードカバレッジを測定します。生成されたレポートのモデルと強調表示されたモデルにおいて、カバレッジ情報を確認し、未達カバレッジを特定し、関連する要件に移動します。カバレッジ目標を満たすために要件、テストケースまたは設計を修正する必要があるかどうかを判断します。

関数

`cvtest`	Create model coverage test specification object
`cvsim`	Simulate and return model coverage results for test objects
`cvhtml`	Produce HTML report from model coverage objects
`cvmodelview`	Display model coverage results with model coloring
`executioninfo`	Retrieve execution coverage information from cvdata object
`conditioninfo`	Retrieve condition coverage information from cvdata object
`decisioninfo`	Retrieve decision coverage information from cvdata object
`mcdcinfo`	Retrieve modified condition/decision coverage information from cvdata object

トピック

モデルカバレッジの基礎

モデルカバレッジ

モデルオブジェクトのテストの達成度を測定してモデルテストを検証。

モデルカバレッジ収集のワークフロー

モデルカバレッジを使用した効果的なテストの開発。

カバレッジオプションの指定

Simulink エディターで、カバレッジ記録のオプションをいくつか指定する。

モデルカバレッジの種類

Simulink Coverage に備わっているモデルカバレッジメトリクス。

モデルのカバレッジ結果の表示

モデル要素を強調表示してカバレッジの結果を確認する。

再利用可能なサブシステムおよび Stateflow® 構造の累積カバレッジの取得

再利用可能なサブシステムをもつモデルの累積カバレッジ結果の作成および表示。

累積カバレッジデータ

連続シミュレーションの実行からの累積モデルカバレッジの収集。

テストケースの作成と実行

モデルカバレッジの MATLAB^® コマンド cvtest および cvsim を使用して、テストケースの作成と実行を行う。

Simulink モデルのカスタム C/C++ コードのカバレッジ

C/C++ S-Function のモデルカバレッジの解析。

モデルカバレッジオブジェクトの詳細

Simulink Coverage における改良条件判定カバレッジ (MCDC) 定義

Simulink Coverage で使用される MCDC カバレッジの定義を説明する。

Simulink Design Verifier の改良条件判定カバレッジ

Simulink Design Verifier™ と Simulink Coverage の MCDC カバレッジの違いの説明。

Logical Operator のカスケードパターン

このモデルには、カスケード Logical Operator ブロックのさまざまなパターンが含まれています。

カスケード論理ブロックの MCDC の解析

この例では、Simulink® Coverage™ を使用して Logical Operator ブロックのカスケードの MCDC メトリクスを記録する方法を説明します。

Simulink の最適化とモデルカバレッジ

インラインパラメーター、ブロック削減、条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。

カバレッジの対象となるモデルオブジェクト

シミュレーション時にモデルカバレッジの対象となるモデルオブジェクト。

カバレッジの対象とならないモデルオブジェクト

カバレッジの対象とならない Simulink オブジェクト。

MATLAB 関数のモデルカバレッジ

MATLAB Function ブロックのモデルカバレッジを使用した結果の解釈。

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

モデルテストケースがモデル内の制御フローのパスを経由してどの程度シミュレーションを実行するかを判定する。

参照モデルの複数のインスタンスに対するモデルカバレッジ

同じモデルを参照する複数の Model ブロックがモデルにある場合のモデルカバレッジの収集。

MATLAB® Function ブロックのカバレッジ

このモデル例では、モデルカバレッジと MATLAB Function ブロック内の MATLAB コードの関係について説明します。

S-Function のカバレッジ

この例では、カバレッジとの互換性をもつように、レガシコードツールで生成される S-Function を構成する方法を示します。

整数オーバーフローで飽和カバレッジ

このモデルをシミュレートして、整数オーバーフローで飽和カバレッジを収集し、レポートします。

注目の例

累積カバレッジ解析

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

スクリプトを開く

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

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

モデルを開く