モデルカバレッジ

“モデルカバレッジ”は,モデルオブジェクトのテストの達成度を測定してモデルテストを検証する機能です。モデルカバレッジでは、モデル全体でモデル テスト ケースがシミュレーション経路をどの程度実行しているかが計算されます。これはテスト ケースがモデルのテストをどの程度できているかを示す測定値で、テスト ケースの進捗率として表されます。

モデルカバレッジを使用すると,モデル内のシミュレーション経路を直接的または間接的に決定する次の種類のモデルオブジェクトの実行を解析できます。

このツールは,シミュレーションの実行中に,カバレッジ対象のオブジェクト,ステート,遷移の動作を記録します。シミュレーションの終了時には,シミュレーション経路のうちどの程度が実行されているかがモデル内のカバレッジ対象のオブジェクトごとにレポートされます。

モデルカバレッジで測定されるカバレッジの種類については,モデルカバレッジの種類を参照してください。モデルカバレッジレポートの例については、最上位モデルカバレッジレポートを参照してください。

金宝app仿真软件覆盖™ソフトウェアは,シミュレーションモードが[ノーマル]に設定されているモデルでのみ,モデルカバレッジを収集できます。シミュレーションモードがその他のモードに設定されている場合,シミュレーション中にモデルカバレッジは測定されません。

嵌入式编码器^®ライセンスをお持ちの場合は,ソフトウェアインザループ(SIL)モードまたはプロセッサインザループ(公益诉讼)モードのモデルから生成されたコードのコードカバレッジも測定できます。コードカバレッジで測定されるカバレッジの種類については,コードカバレッジの種類を参照してください。コードカバレッジを有効にする方法の例については,ソフトウェアインザループ(SIL)モードおよびプロセッサインザループ(公益诉讼)モードのモデルのコードカバレッジを参照してください。