最上位モデルカバレッジレポ,ト
[実行]ボタンを使用してモデルのシミュレ,ションを行う場合,金宝app®覆盖™は
という名前の指定されたモデルにいてモデルカバレッジレポトを作成します。モデルカバレッジレポ,トは,[カバレッジの詳細]ペ@ @ンでも自動的に開かれます。このモデルカバレッジレポ,トには以下の節があります。model_name
_cov.html
sldemo_fuelsys
モデルにアクセスするには,matlab®コマンドウィンドウで以下のコマンドを実行します。
openExample (“ModelingAFaultTolerantFuelControlSystemExample”);
解析情報
解析情報の節には,解析対象のモデルに関する以下の基本情報が表示されます。
カバレッジデ,タ情報
モデル情報
ハ,ネス情報(金宝app仿真软件测试™ハネスからカバレッジを記録した場合に表示されます)
シミュレ,ション最適化オプション
カバレッジオプション
テスト集計
[テスト集計]セクションは,以下を行った場合に表示されます。
金宝app仿真软件测试マネージャーを通して少なくとも2つのテストケースについてカバレッジの結果の集計を記録し,集計結果のカバレッジレポートを生成した場合。または,
結果エクスプロ,ラ,で累積カバレッジの結果のカバレッジレポ,トを生成した場合。
金宝app仿真软件测试マネ,ジャ,を通してテストケ,スを実行した場合,[テスト集計]セクションは,金宝app仿真软件测试マネ,ジャ,内の関連付けられたテストケ,スにリンクされます。
結果エクスプローラーを通してテストケースの結果を集計した場合,[テスト集計]セクションは,結果エクスプローラーの対応するcvdataノードにリンクされます。
[テスト集計]セクションの各実行にいて,金宝app仿真软件测试マネ,ジャ,または結果エクスプロ,ラ,内の対応する結果に対してリンクが張られます。
集計されたユニットテスト
1つ以上のサブシステムハーネスのカバレッジを記録した場合,[テスト集計]セクションに実行された各ユニットテストがリストされ,[説明]セクションに集計したカバレッジデータに指定された説明が表示されます。この説明を表示して編集するには,カバレッジの結果エクスプロ,ラ,に移動して[現在の累積デ,タ]をクリックします。
各テスト対象ユニットが序数nを取り,1のテスト対象ユニットの各テストが序数mを取り,U
N.mの形式で示されます。
カバレッジ概要
カバレッジ概要節には,以下の2のサブセクションがあります。
测试——各テストケースの開始時間と終了時間およびシミュレーションの前に実行されたすべてのセットアップコマンド。各テストケ,スの見出しには,
cvt
コマンドを使用して指定されたテストケ,スのラベルが含まれています。このセクションは,レポ,トにテスト集計セクションが含まれない場合にのみ表示されます。概要-サブシステムの結果の概要。特定のサブシステムの詳細結果を表示するには,概要サブセクションでサブシステム名をクリックします。
(概要]セクションには,要求された各カバレッジメトリクスの列が含まれ,解析されたモデルまたはモデルオブジェクトに適用できないメトリクスの列も含まれます。たとえば,sldemo_fuelsys
モデルで[オブジェクティブと制約]カバレッジメトリクスを選択すると,金宝app仿真软件覆盖で(测试目的)、[目的]证明、(测试条件),および(证明的假设)について解析できるブロックがこのモデルには含まれていませんが,これらのメトリクスの列が表示されます。
詳細
詳細節には,モデルカバレッジの詳細結果が表示されます。詳細レポートの各節には、モデル内の各オブジェクトのテストで使用されたメトリクスの結果の概要が表示されます。
また,次の手順でモデル要素の詳細サブセクションにアクセスすることもできます。
金宝appSimulink要素を右クリックします。
コンテキストメニュ,で[カバレッジ]、[レポ,ト]を選択します。
フィルタ,されたオブジェクト
过滤对象節には,フィルターによりカバレッジの記録対象から除外されたモデル内のすべてのオブジェクトと,そのオブジェクトをフィルターした根拠が表示されます。フィルター規則により特定の種類のブロックをすべてフィルターするように指定された場合は,該当するブロックがすべて表示されます。
次の図では,複数のブロック,サブシステム,遷移がフィルタ,されています。受保护的部门とdivision1の2つのライブラリにリンクされたブロックではブロックライブラリがフィルターされているため,これらのブロックもフィルターされています。
モデルの詳細
詳細節には,モデル全体の結果の概要が表示され,その後に要素の一覧が続きます。モデル要素名をクリックするとカバレッジ結果が表示されます。
次の図は,sldemo_fuelsys
モデル例の詳細節を示しています。
サブシステムの詳細
各サブシステムの詳細節には,サブシステムのテストカバレッジ結果の概要と,その中に含まれるサブシステムの一覧が表示されます。概要の後には、ブロック、チャート、MATLAB 関数の節があり、サブシステム内に判定点があるオブジェクトごとに節が 1 つずつあります。
次の図は,sldemo_fuelsys
モデル例の发动机气体动力サブシステムのカバレッジ結果を示しています。
ブロック詳細
次の図は,sldemo_fuelsys
モデル例の发动机气体动力学サブシステムの混合与燃烧サブシステムにある极大极小ブロックの判定カバレッジ結果を示しています。
カバレッジが100%でないモデルの階層構造の最初のブロックのブロック詳細節の最初に”カバーされていないリンク”要素が表示されます。最初の"カバーされていないリンク"要素には,カバレッジが100%でない“次の”ブロックのレポ,トにあるブロック詳細節へのリンクがあります。
これより後のカバレッジが100%でないブロックには,カバレッジが100%でない前のブロックと次のブロックのレポートにあるブロック詳細節へのリンクがあります。
チャ,トの詳細
次の図は,sldemo_fuelsys
モデル例の状态流®チャトcontrol_logic
のカバレッジ結果を示しています。
Stateflowチャートとそのオブジェクトに対するモデルカバレッジレポートの詳細については,状态流程图的模型覆盖报告を参照してください。
MATLAB関数と金宝app设计验证器関数のカバレッジの詳細
既定では,金宝app仿真软件覆盖でモデル内のすべてのmatlab関数のカバレッジが記録されます。MATLAB関数はMATLABFunction ブロック、Stateflow チャートまたは外部 MATLAB ファイルにあります。
メモ
外部matlabファルのカバレッジレポトの詳細な例は,外部matlabファルカバレッジレポトを参照してください。
Matlab関数に呼び出される関数sldv。*
および金宝appSimulink设计验证器™ブロックの金宝appSimulink设计验证器カバレッジを記録するには,[コンフィギュレションパラメタ]ダアログボックスの[カバレッジ]ペereplicationンで[オブジェクティブと制約]を選択します。
この例では,matlab関数hFcnsInExternalEML
のカバレッジの詳細が表示されます。この関数は4の金宝appSimulink设计验证器関数を呼び出しています。この例では,hFcnsInExternalEML
のコドは外部ファルにあります。
この例では,次の関数の金宝appSimulink设计验证器カバレッジの詳細も示しています。
sldv.assume
(金宝appSimulink Design Verifier)sldv.condition
(金宝appSimulink Design Verifier)sldv.prove
(金宝appSimulink Design Verifier)sldv.test
(金宝appSimulink Design Verifier)
カバレッジ結果では,カバレッジが100%となるコ,ドは緑色で表示されます。100%に満たないコ,ドは赤で表示されます。
関数hFcnsInExternalEML
とsldv。*
の呼び出しのカバレッジは次のとおりです。
1行目で,
hFcnsInExternalEML
の関数宣言が緑色で表示されています。これは,シミュレーションでこの関数が少なくとも 1 回実行されていることを示しています。fcn
はシミュレ,ション中にhFcnsInExternalEML
を11回呼び出しています。4行目の
sldv.assume(U1 > u2)
のカバレッジは0%です。これは,U1 > u2
が1回も真と評価されなかったためです。5行目の
sldv.condition(U1 == 0)
カバレッジは100%です。これはU1 == 0
が少なくとも1のタムステップで真と評価されているためです。6行目の
开关u1
のカバレッジは25%です。これは,开关
ステトメントの4の結果のう1 (例0
)だけがシミュレ,ションで発生したためです。17行目の
sldv.test(y>u1); sldv.test (y == 4)
のカバレッジは50%です。最初のsldv.test
の呼び出しではカバレッジが100%になっていますが,2番目のsldv.test
の呼び出しではカバレッジが0%になっています。
Matlab関数のカバレッジの詳細にいては,Matlab関数のモデルカバレッジを参照してください。
金宝appSimulink设计验证器関数のカバレッジの詳細にいては,オブジェクティブと制約カバレッジを参照してください。
要件テストの詳細
要求工具箱™の要件にリンクされた金宝app仿真软件测试のテストケースを少なくとも2つ実行すると,カバレッジレポートの集計に,モデル要素間のリンク,テストケース,リンクされている要件の詳細が記載されます。
[要件テストの詳細]セクションには以下が含まれます。
実装済みの要件-モデル要素にリンクされている要件。
テストにより検証済み-その要件を検証したテスト。
関連付けられた実行-各検証テストに関連付けられた実行。
カバレッジ結果からカバレッジレポト内の要件にトレスする例にいては,カバレッジ結果から要件へのトレ,スを参照してください。
モデルカバレッジレポ,トの循環的複雑度
モデルカバレッジレポートでは,循環的複雑度の数値を2か所に表示するように指定することができます。
[概要]節にはモデルの階層構造の各オブジェクトの循環的複雑度が表示されます。サブシステムまたはStateflowチャートの場合,この数字にはすべての子孫の循環的複雑度が含まれています。
各オブジェクトの詳細節には,すべてのオブジェクトの循環的複雑度が個別に表示されます。
判定解析
判定解析表には,判定について起こり得る結果と,テストシミュレーションごとの結果の発生回数が表示されます。発生しなかった結果は,赤色で強調表示された表の行に表示されます。
次の図は,sldemo_fuelsys
モデル例の发动机气体动力学サブシステムの节流&歧管サブシステムにある饱和ブロックの判定解析表を示しています。
目的のブロックを表示および強調表示するには,そのブロックの判定解析表がある節の最上部にあるブロック名をクリックします。
条件解析
条件解析表には,対応するブロックの入力端子ごとの真および偽の条件の発生回数が表示されます。
MCDC解析
MCDC解析表には,対応するブロックにより表されるMCDC入力条件ケースと,レポートされたテストケースが条件ケースをどの程度網羅できているかが表示されます。
MCDC解析表の各行は,ブロックに対する特定の入力の条件ケ,スを表しています。ブロックの入力n
の条件ケ,スは,入力値を組み合わせたものです。入力n
は,条件ケ,スの“判定入力”と呼ばれています。入力n
の値を変更すると,ブロックの出力値も変わります。
MCDC解析表には,条件ケ,スを表す条件ケ,ス式が表示されます。条件ケ,ス式は次の性質がある文字列です。
文字列内での文字の位置は入力端子番号に対応します。
各位置の文字は入力値を表します(
T
は真正的
、F
は假
を表します)。太字は判定入力の値を表します。
たとえば,F
T
F
は3の入力があるブロックの条件ケスで,2番目の入力が判定入力であることを示しています。
[判定/条件]列は,入力条件ケ,スの判定入力を表します。[真の出力]列は,ブロックが条件ケ,スの真正的
値を出力するための判定入力値を表しています。[真の出力]のエントリでは条件式(たとえばF
F
)を使用して,ブロックのすべての入力の値が表示されます。判定変数の値は太字で表示されます。
式の前後のかっこは,指定された入力の組み合わせが,このレポートに記載されている最初(または唯一)のテストケースでは発生しなかったことを表します。。[偽の出力]列は,ブロックが假値を出力するための判定入力の値と,レポートの対象となる最初(または唯一)のテストケース中に実際にその値が発生したかどうかを表しています。
解析で使用されるMCDC定義によっては,一部のモデル要素によるMCDCカバレッジの達成率が低くなります。解析で使用されるMCDC定義がどのようにカバレッジの結果に影響するのかの詳細にいては,金宝appSimulink覆盖における改良条件判定カバレッジ(MCDC)定義を参照してください。
[コンフィギュレションパラメタ]ダアログボックスの[カバレッジ]ペereplicationンで[金宝appSimulink論理ブロックをショ,トサ,キットとして扱う]を選択すると,MCDCカバレッジ解析ではショートサーキットされた入力が実際に発生するかどうかは検証されません。MCDC解析表の条件式(TFxxx
など)でx
が使用されている場合,ショ,トサ,キットされた入力が,,ルで解析されていないことを表しています。
この機能が無効にされ,モデルカバレッジの収集時に論理ブロックがショートサーキットされていない場合,そのブロックのカバレッジは100%にならない場合があります。
生成コードに対してテストケースが達成するカバレッジ度をMCDCカバレッジ解析で近似する場合は,[金宝appSimulink論理ブロックをショ,トサ,キットして扱う]オプションを選択します(大半の高水準言語は論理式をショ,トサ,キットします)。
累積カバレッジ
連続するカバレッジ結果を記録した後に,カバレッジの結果エクスプロ,ラ,内からカバレッジ結果へのアクセス,管理および集計を実行できます。既定では,各シミュレーションの結果はレポートに累積的に保存、記録されます。
コンフィギュレ,ションパラメ,タ,の結果セクションで[累積進行状況レポ,トの表示]を選択すると,累積カバレッジレポートに含まれるすべての表の右端の領域にある結果に,実行結果の合計値が反映されます。レポートは,最後の実行による追加カバレッジと,セッション内での過去のすべての実行により得られたカバレッジを簡単に比較できるように構成されています。
累積カバレッジレポ,トには,以下の情報が表示されます。
現在の実行-完了したばかりのシミュレションのカバレッジ結果。
デルタ——完了したばかりのシミュレーションで得られた累積カバレッジに追加されたカバレッジのパーセンテージ。以前のシミュレーションの累積カバレッジと現在のカバレッジがともに非ゼロの場合,新しいカバレッジが累積カバレッジに追加されなければ,デルタが0になることがあります。
累積——完了したばかりのシミュレーションを含むそれまでのシミュレーションでモデルについて収集された総カバレッジ。
3つのテストケースを実行すると,概要レポートには3番目のテストケースで得られた追加カバレッジと,最初の2つのテストケースで得られた累積カバレッジが表示されます。
累積カバレッジの"判定解析"表には判定結果を示すデータ列が3つあり,それぞれ現在の実行,前回の実行以降のデルタ,累積データを表しています。
条件解析表には列見出し# n Tと# n Fがあり,各テストケ,スの結果が表示されます。この表では合计Tと合计Fで累積結果を表しています。テストケ,スごとに,対応するブロックの各入力端子での真および偽の条件を特定できます。
MCDC解析の[#n True Out]および[#n False Out]列には,各テストケ,スの条件ケ,スが表示されます。[真の出力合計]および[偽の出力合計]列は累積結果を示しています。
メモ
コマンドラインで,再利用可能なサブシステムとStateflow構造の累積カバレッジを計算できます。詳細にいては,再利用可能なサブシステムおよびStateflow®構造の累積カバレッジの取得を参照してください。
N次元ルックアップテブル
以下の対話型のチャ,トでは,ルックアップテ,ブルの要素へのアクセス範囲の概要が示されます。この例では,2 emfの正弦波ブロックによりXおよびyインデックスが生成され,乱数値が設定された10行10列の要素の二维查找表ブロックにアクセスします。
このモデルでは,ルックアップテブルンデックスは各方向に1,2,…10の値です。正弦波2ブロックの位相は正弦波1ブロックとπ/ 2ラジアンだけずれています。これにより,円周のX値とY値が生成されます。これらの値は,得られたルックアップテ,ブルカバレッジを確認する際に表示されます。
このレポ,トには,ルックアップテ,ブルの要素を表す2次元テ,ブルが表示されます。要素aapl . aapl . aapl . aapl . aapl . aapl . aapl . aapl . aapl。ルックアップテ,ブルがテ,ブル値の間で内挿する領域はセル領域として表されます。要素1の左と要素10の右の外挿領域は,テーブルの外周のセル(外周の境界線なし)で表されます。
各セルでテスト時に内挿(または外挿)された値の数(“実行回数”)は,セルに設定された緑色の色調で表されます。緑色の色調の6のレベルと,それぞれに対応する実行回数の範囲は,テブルの右側に表示されます。
テーブルの各セルをクリックすると,セルのインデックスの場所とテスト時の具体的な実行回数を示すダイアログボックスが表示されます。次の例では,円の右端にある色付きのセルの内容を示しています。
選択したセルは赤色の輪郭で表示されます。また,テ,ブルの端にある外挿セルをクリックすることもできます。
太いグリッド線は,インデックス値に等しいブロック入力がシミュレーション時に少なくとも1回発生していることを示しています。境界線をクリックすると,その。
次のモデル例では,乱数値が設定された10×10×5の要素がある天查找表ブロックを使用しています。
XおよびYの両方のテブル軸に1,2,…10の各ンデックスがあります。Z軸には10,20,…50の各ンデックスがあります。ルックアップテーブル値へのアクセスには,前の例で2つの正弦波ブロックにより生成されたxおよびy▪▪▪▪▪ンデックスと,▪▪▪ブロックにより生成されたzンデックスを使用します。
シミュレ,ション後に,次のようなルックアップテ,ブルレポ,トが表示されます。
リンク力图生成
を使用すると,2次元テ,ブルの代わりに次のテ,ブルが表示されます。
3次元ルックアップテーブルブロックのルックアップテーブルカバレッジは複数の2次元テーブルのセットで表されます。
縦棒は厳密なzンデックス値を表しています。10, 20, 30, 40, 50。縦線が太線になっている場合、ブロック入力のうち少なくとも 1 つがシミュレーション時にその線が示すインデックス値と等しくなったことを表します。線をクリックすると、その線が表すインデックス値に対するカバレッジ レポートが表示されます。
どの次元のルックアップテーブルに対しても,ルックアップテーブルカバレッジのレポートを生成できます。4次元テ,ブルのカバレッジは,前の例と同様に,複数の3次元のセットで表されます。さらに5次元テブルは“3次元のセット”のセットで表され,以下同様になります。
ブロック削減
どのモデルカバレッジレポ,トでも,最初にSim金宝appulinkの[ブロック削減]パラメ,タ,のステ,タスが表示されます。次の例は,[ブロック削減を強制オフ]が設定されている場合を示しています。
次の例では,金宝appSimulinkの[ブロック削減]パラメ,タ,が有効になっていて,[ブロック削減を強制オフ]は設定されていません。
次のモデルでは,入力がIn3
だけなので,シミュレ,ションではMinMax1ブロックが実行されません。
[ブロック削減を強制オフ]が設定されている場合,MinMax1ブロックへの入力の最小値は常に1
なので,このブロックのカバレッジデ,タはレポ,トに表示されません。
[ブロック削減を強制オフ]が設定されていない場合,削減されたブロックのカバレッジデ,タは表示されません。
関係演算子の境界
[コンフィギュレションパラメタ]ダアログボックスの[カバレッジ]ペ电子邮件ンで,[関係演算子の境界]カバレッジメトリクスを選択すると,このカバレッジでサポートされる各モデルオブジェクトのモデルカバレッジレポートに関係演算子の境界の表が作成されます。この表は,モデルオブジェクトに含まれる明示的または暗黙的な関係演算に適用されます。詳細にいては,以下を参照してください。
カバレッジの対象となるモデルオブジェクトの[関係演算子の境界]列。
以下の表は,関係式Input1 <= input2
の関係演算子の境界カバレッジレポ,トを示しています。表の表示は,オペランドのデ,タ型によって異なります。
整数
両方のオペランドが整数である場合(または一方のオペランドが整数でもう一方が布尔である場合),表は次のように表示されます。
などの関係演算の場合は次のようになります。operand_1
< =operand_2
1行目には,2のオペランドが
の形式で示されます。operand_1
-operand_2
2行目には,
が-1と等しくなるシミュレ,ション中の回数が示されます。operand_1
-operand_2
3行目には,
がoperand_1
と等しくなるシミュレ,ション中の回数が示されます。operand_2
4行目には,
が1と等しくなるシミュレ,ション中の回数が示されます。operand_1
-operand_2
固定小数点
オペランドの1つの型が固定小数点型で,他のオペランドが固定小数点または整数である場合,表は次のように表示されます。LSB
は最下位ビットの値を表します。詳細にいては,精度(定点设计师)を参照してください。2つのオペランドの精度が異なる場合、精度の値が小さい方が使用されます。
などの関係演算の場合は次のようになります。operand_1
< =operand_2
1行目には,2のオペランドが
の形式で示されます。operand_1
-operand_2
2行目には,
がoperand_1
-operand_2
lsb
と等しくなるシミュレ,ション中の回数が示されます。3行目には,
がoperand_1
と等しくなるシミュレ,ション中の回数が示されます。operand_2
4行目には,
がoperand_1
-operand_2
LSB
と等しくなるシミュレ,ション中の回数が示されます。
浮動小数点
オペランドの1の型が浮動小数点型の場合,表は次のように表示されます。托尔
は,入力値と指定した許容誤差を使用して計算された値を表します。許容誤差を指定しない場合,既定値が使用されます。詳細にいては,関係演算子の境界カバレッジを参照してください。
などの関係演算の場合は次のようになります。operand_1
< =operand_2
1行目には,2のオペランドが
の形式で示されます。operand_1
-operand_2
2行目には,
が範囲operand_1
-operand_2
(tol . . 0)
内の値をもシミュレション中の回数が示されます。3行目には,
が範囲operand_1
-operand_2
(0 . . tol]
内の値をもシミュレション中の回数が示されます。
この表の表示は,ブロックの関係演算子に従って変更します。関係演算子に応じて,0と等しい
の値は,次のいずれかになります。operand_1
-operand_2
関係演算子の境界カバレッジから除外される。
関係演算子の境界の上の領域に含まれる。
関演算子の境界の下の領域に含まれる。
关系操作符 | レポ,トの形式 | 説明 |
---|---|---|
= = |
(tol . . 0) |
0は除外されます。 |
(0 . . tol] |
||
! = |
(tol . . 0) |
0は除外されます。 |
(0 . . tol] |
||
< = |
(tol . . 0) |
0は関係演算子の境界の下の領域に含まれます。 |
(0 . . tol] |
||
< |
(tol . . 0) |
0は関係演算子の境界の上の領域に含まれます。 |
(0 . . tol) |
||
> = |
(tol . . 0) |
0は関係演算子の境界の上の領域に含まれます。 |
(0 . . tol) |
||
> |
(tol . . 0) |
0は関係演算子の境界の下の領域に含まれます。 |
(0 . . tol] |
0は< =
の場合は関係演算子の境界の下に含まれますが,<
の場合は関係演算子の境界の上に含まれます。この規則は判定カバレッジと一致します。次に例を示します。
関係式
Input1 <= input2
では,input1
がinput2
以下の場合判定は真です。<
と=
はグル,プ化されます。したがって,0は関演算子の境界の下の領域に含まれます。関係式
Input1 < input2
では,input1
がinput2
未満の場合にのみ判定は真です。>
と=
はグル,プ化されます。したがって,0は関演算子の境界の上の領域に含まれます。
整数オバフロで飽和にいての解析
[コンフィギュレションパラメタ]ダアログボックスの[カバレッジ]ペ电子邮件ンで,[整数オ,バ,フロ,で飽和]カバレッジメトリクスを選択すると,モデルカバレッジレポートに饱和溢出分析表上が作成されます。選択した[整数オ,バ,フロ,で飽和]パラメ,タ,で各ブロックの表が作成されます。
饱和溢出分析表上には,ブロックが整数オーバーフローで飽和した回数が表示され,真判定を示します。ブロックが整数オ,バ,フロ,で飽和していない場合,表は偽判定を示します。発生しなかった結果は,赤色で強調表示されたテ,ブル行に表示されます。
次の図は,sldemo_fuelsys
モデル例の发动机气体动力学サブシステムの混合与燃烧サブシステムにある极大极小ブロックの饱和度溢出分析表を示しています。
目的のブロックを表示および強調表示するには,そのブロックの饱和溢出分析表上がある節の最上部にあるブロック名をクリックします。
信号範囲解析
[信号範囲]カバレッジメトリクスが選択されている場合,モデルカバレッジレポートの最後に信号范围分析節が作成されます。この節には,シミュレーション時に測定されたモデルの出力信号ごとの信号値の最大値と最小値が表示されます。
信号范围分析レポートに簡単にアクセスするには,モデルカバレッジレポートの最上部にあるスクロールしない領域の[信号範囲]リンクを使用します。sldemo_fuelsys
モデル例レポ,トでの例を以下に示します。
各ブロックは階層構造で示されていて,子ブロックは親ブロックの直下に表示されます。"信号範囲"レポ,トでは各ブロック名がリンクになっています。たとえば,自我传感器
リンクを選択すると,このブロックが元のブロック線図内で強調表示されます。
可変次元信号の信号サ@ @ズカバレッジ
[信号サ电子邮箱ズ]を選択すると,モデルカバレッジレポートの信号範囲データの後に[可変信号の幅]節が作成されます。この節には,モデルの出力端子のうち可変サイズの信号がある端子のすべてについて,信号サイズの最大値と最小値が表示されます。また,金宝appSimulinkによりその信号に割り当てられたメモリの量が表示されます。この値はシミュレ,ション時の測定値です。このリストには,シミュレ,ション中にサ,ズが変動しない信号は表示“されません”。
次の例では,カバレッジレポ,トに[可変信号の幅]節が表示されています。この例では,Abs ブロックの信号サイズは 2 ~ 5 の間で変動していて、割り当てられているメモリは 5 です。
各ブロックは階層構造で示されていて,子ブロックは親ブロックの直下に表示されます。[可変信号の幅]リストに表示されているブロック名はそれぞれリンクになっています。リンクをクリックすると、Simulink エディターで該当するブロックが強調表示されます。解析後、可変サイズの信号の線幅が太くなって表示されます。
金宝app设计验证器カバレッジ
[オブジェクティブと制約]を選択すると,解析によりモデル内のすべての金宝appSimulink设计验证器ブロックのカバレッジデ,タが収集されます。
この仕組みの例は,sldvdemo_debounce_testobjblks
モデルを参照してください。
测试目的ブロックがあります。
Trueブロック:値が
2
である信号のプロパティを定義します。边缘ブロック:蒙面目标サブシステム内にあります。このブロックは,蒙面目标サブシステムの和ブロックの出力が
2
から1
に変わるプロパティを表します。
金宝appSimulink设计验证器ソフトウェアはこのモデルを解析し,特定のテストオブジェクティブを達成するテストケースがあるハーネスモデルを生成します。元のモデルがこれらのオブジェクティブを達成しているか確認するには,ハーネスモデルのシミュレーションを実行してモデルカバレッジデータを収集します。モデルカバレッジツールは,测试目标ブロックで指定した間隔内にある判定点または値を解析します。
この例では,信号値が少なくとも1回は2
になっているため,カバレッジレポートでは真正ブロックのカバレッジが100%となっています。この信号値は14のタイムステップのうち6つで2
となっています。
Edgeブロックへの入力信号の値は,14のタ▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪▪真正的
となっています。