実行カバレッジ（EC）

実行カバレッジは最も基本的な形式のカバレッジです。各项目について，実行カバレッジはその项目がシミュレーション时に実行されたかどうかを判定します。

判定カバレッジ（DC）

判定カバレッジでは，モデルの判定点を表す要素（开关ブロックや状态流^®ステートなど）を解析します。各项目について，判定カバレッジはその项目でししシミュレーションパス。

モデルモデルカバレッジレポートのの判定カバレッジデータの例について，判定解析を参照してください。

条件カバレッジ（CC）

条件カバレッジでは，入力の论理组み合わせを出力するブロック（逻辑运算符ブロックなど）とStateflow的迁移を解析します。テストケースでフルカバレッジが得られるのは，モデル内で论理ブロックの各インスタンスへの入力と迁移での各条件が，シミュレーション中に少なくとも1回真になり，かつシミュレーション中に少なくとも1回假になる场合です。条件カバレッジ解析では，モデル内のブロックごとに，テストケースが当该のブロックを完全に网罗しているかどうかがレポートされます。

モデルモデルのカバレッジを收集した，条件条件カバレッジ100％にならになら场合。たとえば，[コンフィギュレーションパラメーター]の[カバレッジ]ペインで[金宝appSimulink的论理ブロックをショートサーキットして扱う]を选択して，论理ブロックをショートサーキットするよう指定した场合，そのブロックの条件カバレッジが100％にならないことがあります。详细については，MCDC解析を参照してください。

モデルカバレッジレポートの条件カバレッジデータの例については，条件解析を参照してください。

改良改良判定カバレッジ（MCDC）

金宝appSimulink覆盖范围ソフトウェアの改良条件判定カバレッジ解析は，判定カバレッジ机能と条件カバレッジ机能を拡张したものです。入力の论理组み合わせを出力するブロックとStateflow的迁移の解析により，论理ブロック入力と迁移条件の独立性をテストケースがどの程度テストしているかを判定します。

モデルに含まれるブロックが，异なる种类の论理演算子と12を超える条件を保有する式を定义している场合，MCDCカバレッジを记录することができません。

金宝appSimulink覆盖范围のMCDCカバレッジでは，判定カバレッジや条件カバレッジが完全にならない场合があるため，判定カバレッジが100％ “でなくても”MCDCカバレッジを100％达成できるようになっいます。

金宝appSimulink的オブジェクトの一部は，MCDCカバレッジをサポートしますが，オブジェクトによっては条件カバレッジのみをサポートしたり，判定カバレッジのみをサポートしたりする场合があります。カバレッジカバレッジの対象ととなるモデルの表は，どのどのオブジェクトがどの种类のカバレッジの対象となるを示していいいてブロックは判定判定判定カバレッジと条件カバレッジの対象ににますますがががががががががませませませませませませませ条件条件条件条件条件ませ条件条件カバレッジカバレッジませませませ

モデルのMCDCカバレッジを100％にするには，DO-178C / DO-331标准の定义どおり，[コンフィギュレーションパラメーター]の[カバレッジ]ペインで，[构造カバレッジレベル]として改良改良判定カバレッジ（MCDC）を选択します。

モデルモデルのカバレッジを收集收集た，MCDCカバレッジが100％にならないない合并がますたとえばに指定しショートサーキットするに指定たたサーキットするそののmcdcカバレッジが100％にならない可能性あります。

DO-178C / DO-331标准の详细については，DO-178C / DO-331检查（金宝appSimulink的检查）を参照してください。

モデルカバレッジレポートのmcdcカバレッジデータの例については，MCDC解析をを参照してください累积されたカバレッジカバレッジのの例について，累积カバレッジを参照してください。

循环的复雑度

循环的复雑度は，モデルの构造的复雑度の测定値です。この値は，モデルから生成されたコードの麦凯布の复雑度の近似値です。复雑度の测定値は，统合されたロジックやエラーチェックなど，この解析で考虑されないコード机能が原因で，生成されたコードとモデルとの间で异なる场合があります。

モデルカバレッジでは，オブジェクト（ブロック，チャート，ステートなど）の循环的复雑度の计算に次の公式を使用します。

Ñはオブジェクトが表す判定点の数，邻_Nはn番目の判定点の结果结果です。计算计算は，ベクトル化演算多端口交换机ブロックを単一の判定点として考虑します.Atomicサブシステムと状态流チャートに対しては，复雑度の値に1が加算されます。

モデルモデルカバレッジレポートの的的复雑度の例について，循环的复雑度を参照してください。

ルックアップテーブルカバレッジ

ルックアップテーブルカバレッジ（lut）では，1-d查找表ブロックなど，入出力のテーブルのの情を力し，テーブルのエントリ间ををする，テーブルのエントリから外插するを调查し。ルックアップテーブルカバレッジは，テーブルルックアップがそれぞれの内插隔使使する频度を记录记录しますます。テストケースで各插およびおよびます。テストケースで各内およびおよびおよび。テスト隔で各插およびおよび隔が少なくとも少なくとも少なくとも少なくとも少なくとも少なくとも少なくとも少なくとも少なくとも少なくとも少なくともたたたた得られます。カバレッジ レポートでは、モデル内の各ルックアップ テーブル ブロックごとに、ルックアップ テーブルの色付きマップが表示され、各内挿が示されます。n-D Lookup Table ブロックのブレークポイントの総数が 1,500,000 を超える場合、そのブロックのカバレッジは記録されません。

モデルモデルカバレッジレポートののルックアップテーブルデータの例例は，n次元ルックアップテーブルを参照してください。

信号范囲カバレッジ

信号范囲カバレッジではモデル内の各ブロックでシミュレーション中に测定された信号値の最小値と最大値が记录されます。出力信号があるブロックのみが信号范囲カバレッジの対象となります。

このソフトウェアでは，制御信号（あるブロックが别のブロックの実行を开始させるために使用する信号）の信号范囲カバレッジは记录されません。制御信号を参照してください。

モデル内の信号均が65535をを超えたや，モデルモデルの信号幅が65535を超える超える幅がさませんさませんませんませんれれませんませんませんませんませんませんれれ

信号线を参照してください。

信号线

信号サイズカバレッジでは，モデル内のすべての可変サイズ信号の最小サイズ，最大サイズ，割り当てサイズが记录されます。可変サイズの出力信号があるブロックのみがレポートの対象となります。

モデル内の信号の総数が65535を超えた场合や，幅が65535を超える信号がモデルにある场合には，信号サイズのカバレッジは记录されません。

可爱信号证号を参照してください。

可変サイズ信号の详细については，可変の信号の基础を参照してください。

オブジェクティブと制约カバレッジ

金宝appSimulink覆盖范围ソフトウェアにより，次の金宝appSimulink Design Verifier™ブロックとコード生成用MATLAB^®关关で使モデルモデルデータデータが收集されますれますます。

金宝appSimulink Design Verifierライセンスを没有ししいないないないでで，これらのブロックや关键がモデルのモデルカバレッジをすることできます金宝appSimulink Design Verifierソフトウェアでモデルを解析することはできません。

モデルに1つ以上の金宝appSimulink Design Verifierブロックまたは关节附加すると，次のことができるようになり。

金宝appSimulink Design Verifierのカバレッジを收集するように指定すると，以下のようになります。

金宝appSimulink Design Verifierのカバレッジ收集を指定していない场合书，モデル内の金宝appSimulink Design Verifierブロックのデータ型はチェックされず，カバレッジも收集されません。

モデルカバレッジレポートの金宝appSimulink Design Verifierブロックまたは关节数のカバレッジデータ例については，金宝appSimulink设计验证カバレッジを参照してください。

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

整数オーバーフローでで和カバレッジでは，ABSブロックのように，[整数オーバーフローで饱和]パラメーターが选択されているブロックを调べます。このパラメーターが选択されているブロックのみが整数オーバーフローで饱和カバレッジの対象となります。

整数オーバーフロー饱和カバレッジで，ブロックがが数オーバーフローで和するする回をしますますますます。

ブロックが少なくとも1回整数号フローフロー饱和し，かつ少なくとも1回饱和しないない，テストケースでフルカバレッジが得ます。

モデルカバレッジレポートのの数オーバーでで和カバレッジデータの例整数オーバーフローで饱和についての解析を参照してください。

关键词

关系演算子の境界カバレッジは，明示的または暗黙的な关系演算を含むブロック，Stateflow的グラフおよびMATLAB功能ブロックを検证します。



両両の変更し型同じのオペランドデータ场场场ますますますますますますますますますますに従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い従い场従い従い従い场场の场従い场场の従い误差値

2つのオペランドの型が异なる场合，许容误差はより厳格な型の规则に従います。オペランドの1つが布尔である场合，许容误差は他のオペランドの规则に従います。厳格さは，次の顺序で低くなっていきます。

両方のオペランドが固定小数点でも精度が异なる异なるは，精制ののが小さい方便オペランドが许容误差使使さます。

动动小数点力の关键词ののカバレッジに対する绝対误差および相対许容値はははは，[コンフィギュレーションコンフィギュレーション]ダイアログダイアログの[カバレッジ]ペインの[カバレッジメトリクス]でこのメトリクスを选択するときに指定します。

详细については，それぞれそれぞれ以をしください。