このページの翻訳は最新ではありません。ここをクリックして,英語の最新版を参照してください。
カバレッジ解析を開始する前に,カバレッジ記録のオプションをいくつか指定します。[アプリ]タブで[カバレッジアナライザー]を選択します。[カバレッジ]タブで,[設定]を選択します。
[コンフィギュレーションパラメーター]ダイアログボックスの[カバレッジ]ペインで,シミュレーション時に計算されるカバレッジのオプションを設定します。
指定したカバレッジ結果をシミュレーション時に収集してカバレッジをレポートします。[カバレッジ解析を有効にする]を選択すると,以下のセクションの設定が可能になります。
ソフトウェアがカバレッジデータを収集してレポートを生成するシステムを指定します。次のオプションがあります。
解析の範囲を指定するには,[カバレッジ解析を有効にする]を選択しなければなりません。
既定では,システム全体のカバレッジデータを生成します。カバレッジ結果には,最上位のサブシステムと,サポートされているすべてのサブシステムおよびモデル参照が含まれます。
選択した参照モデルおよびオブザーバーモデルのカバレッジを記録します。既定では,この設定は模型ブロックのシミュレーションモードが[ノーマル]
、[ソフトウェアインザループ(SIL)]
、[プロセッサインザループ(公益诉讼)]
のいずれかであるすべての参照モデル,およびシミュレーションモードが[ノーマル]
であるアクティブなオブザーバーモデルのカバレッジを記録します。
金宝app®覆盖™がカバレッジデータを記録する参照モデルおよびオブザーバーモデルを指定するには,以下を行います。
[カバレッジ解析を有効にする]を選択します。
解析の範囲として,(参照モデル]を選択します。
[モデルを選択]をクリックします。
[カバレッジ解析用のモデルを選択]ダイアログボックスで,カバレッジを記録する参照モデルまたはオブザーバーモデルを選択します。最上位モデルを選択することもできます。
モデル名の横のアイコンは,その参照モデルのシミュレーションモードを表します。
複数の模型ブロックが同じモデルを参照していて,それらのシミュレーションモードが同じである場合,そのモデルのチェックボックスを選択すると,同じシミュレーションモードに設定されているすべてのインスタンスのチェックボックスが選択されます。
(好的)をクリックします。
カバレッジ解析は,選択したサブシステムに関して,シミュレーション中にカバレッジを記録します。既定では,モデル全体のカバレッジデータを生成します。カバレッジレポートの範囲を特定のサブシステムに限定するには,次の手順に従います。
[コンフィギュレーションパラメーター]ダイアログボックスの[カバレッジ]ペインで,[カバレッジ解析を有効にする]を選択します。
[サブシステムの選択]をクリックします。
[サブシステムの選択]ダイアログボックスで,カバレッジレポートを有効にするサブシステムを選択し,(好的)をクリックします。
(解析に含める]セクションには次の2つのオプションが含まれています。
MATLABファイル:モデル内のMATLAB®関数で呼び出された外部関数のカバレッジを有効にします。MATLAB函数ブロック内またはStateflow®チャート内でMATLAB関数を定義できます。
(MATLABファイルのカバレッジ]オプションを選択するには,[カバレッジ解析を有効にする]を選択しなければなりません。
[C / c++函数):モデル内のC / c++功能ブロックのカバレッジを有効にします。功能ブロックおよびそれらのブロック内のC / c++コードについて,カバレッジメトリクスがレポートされます。詳細については,s函数のカバレッジレポートの生成を参照してください。
[C / c++函数)オプションを選択するには,[カバレッジ解析を有効にする]を選択しなければなりません。
このツールで実行する構造カバレッジレベルとその他の種類のテストケースカバレッジ解析を選択します(モデルカバレッジの種類を参照)。金宝app仿真软件覆盖は,指定したサブシステム,モデル,参照モデルについて,選択したカバレッジの種類を収集してレポートします。
構造カバレッジレベルは,テストケースカバレッジ解析の厳格さの順で表示されます。
[ブロックの実行)
- - - - - -実行カバレッジ(EC)を有効にします。
[判定]
- - - - - -実行カバレッジ(EC)および判定カバレッジ(DC)を有効にします。
[条件判定]
- - - - - -実行カバレッジ(EC)、判定カバレッジ(DC)および条件カバレッジ(CC)を有効にします。
(改良条件判定カバレッジ(MCDC)]
- - - - - -実行カバレッジ(EC)、判定カバレッジ(DC)、条件カバレッジ(CC),および改良条件判定カバレッジ(MCDC)を有効にします。
[カバレッジメトリクス]には,[その他のメトリクス]も含まれます。
カバレッジメトリクスを選択するには,[カバレッジ解析を有効にする]を選択しなければなりません。
[コンフィギュレーションパラメーター]の[結果]セクションで,カバレッジの結果の保存先を選択します。[結果]のオプションを設定するには,[カバレッジ]ペインで[カバレッジ解析を有効にする]を選択しなければなりません。
ワークスペース変数の最後の実行を保存——最後のシミュレーション実行の結果をワークスペース内のcvdata
オブジェクトに保存します。ワークスペース変数名は[cvdataオブジェクト名)で指定します。
cvdataオブジェクト名——最後のシミュレーション実行の結果の保存先となるワークスペース変数の名前。cvdata
オブジェクト名を指定するには,[ワークスペース変数の最後の実行を保存)を選択しなければなりません。
各シミュレーション(var1、var2…)で変数名をインクリメントする——新しい結果が生成されるたびにワークスペース変数名に数値を追加し,以前の結果が上書きされないようにします。このオプションを有効にするには,[ワークスペース変数の最後の実行を保存)を選択しなければなりません。
データファイル名の自動保存——カバレッジデータ結果の保存先のファイル名。既定の名前はModelName _cvdata美元
です。ModelName美元
はモデルの名前です。
出力ディレクトリ——カバレッジデータの保存先のフォルダー。既定の場所は,現在のフォルダー内のslcov_output / ModelName美元
です。ModelName美元
はモデルの名前です。