モデルテストのメトリクス

モデルテストダッシュボードでは、要件、モデル、テスト結果など、プロジェクト内のモデル設計とテストアーティファクトからのメトリクスデータを収集します。メトリクスデータを使用して、モデルテストのステータスおよび品質を評価します。ダッシュボードの各メトリクスはモデルのテスト品質の異なる側面を測定し、業界認定のソフトウェア開発標準 (ISO 26262、DO-178 など) のガイドラインを反映しています。モデルテストダッシュボード内のウィジェットを使用して、モデルテストダッシュボードを使用してテストアクティビティのステータスと品質を調査で説明されているように、概要レベルのメトリクス結果およびテストギャップを確認します。

あるいは、API 関数を使用して、プログラムによってメトリクス結果を収集できます。API を使用する場合は、メトリクス ID を使用して各メトリクスを参照します。これらのメトリクスをプログラムによって収集する方法の例については、モデルテストアーティアクトに関するメトリクスをプログラムによって収集を参照してください。関数getAvailableMetricIdsを使用して、使用可能なメトリクス識別子のリストを返すことができます。

解析できるモデルテストメトリクスを以下に示します。

テストにリンクされている要件

ダッシュボードの [テストにリンクされている要件] セクションに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Requirement with Test Case	要件がテストにリンクされているかどうかを判別します。
Requirement with Test Case Distribution	テストにリンクされている要件の数を、テストが欠落している要件の数と比較した分布です。
Test Cases per Requirement	各要件にリンクされているテストの数をカウントします。
Test Cases per Requirement Distribution	各要件にリンクされているテストの数の分布です。

要件にリンクされているテスト

ダッシュボードの [要件にリンクされているテスト] セクションに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Test Case with Requirement	テストが要件にリンクされているかどうかを判別します。
Test Case with Requirement Distribution	要件にリンクされているテストの数を、要件へのリンクが欠落しているテストの数と比較した分布です。
Requirements per Test Case	各テストにリンクされている要件の数をカウントします。
Requirements per Test Case Distribution	各テストにリンクされている要件の数の分布です。

テストケースタイプおよびタグ

ダッシュボードの [テストケースの内訳] セクションに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Test Case Type	テストケースのタイプを返します。
Test Case Type Distribution	ユニットのテストケースのタイプの分布です。
Test Case Tag	テストケースのタグを返します。
Test Case Tag Distribution	ユニットのテストケースのタグの分布です。

モデルテストのステータス

ダッシュボードの [モデルテストのステータス] セクションに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Model Test Status	モデルテスト結果のステータスを返します。
Model Test Status Distribution	ユニットのモデルテスト結果のステータスの分布です。
Test Case Verification Status	verify ステートメント、検証ブロック、カスタム基準、論理的または時間的評価など、パス/失敗の基準がモデルテストに含まれているかどうかを判別します。
Test Case Verification Status Distribution	パス/失敗の基準をもたないモデルテストの数を、パス/失敗の基準をもつテストの数と比較した分布です。

モデルカバレッジ

ダッシュボードの [モデルカバレッジ] セクション内のウィジェットでは、ユニットの集計カバレッジが示されます。

メトリクス	説明
Model Coverage Breakdown	ユニットでモデルテストによって達成された、正当化された、または未達となった全体的な実行、判定、条件、および改良条件判定カバレッジ (MC/DC)。

[モデルカバレッジ] 棒グラフ内のバーをクリックすると、[メトリクスの詳細] でユニット内の各モデルのカバレッジが示されます。

メトリクス	説明
Model Coverage Fragment	ユニット内の各モデルでモデルテストによって達成された、正当化された、または未達となった全体的な実行、判定、条件、および改良条件判定カバレッジ (MC/DC)。

要件ベースのテスト

ダッシュボードの [達成されたカバレッジの比率] セクションには、ユニットの達成されたカバレッジのソースが表示されます。[要件ベースのテスト] セクションには、全体的な達成されたカバレッジが要件ベースのテストからどの程度得られているのかが示されます。

ダッシュボードの [要件ベースのテスト] セクション内のウィジェットに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Requirements Execution Coverage Breakdown	ユニットにおいて、達成された実行カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements Decision Coverage Breakdown	ユニットにおいて、達成された判定カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements Condition Coverage Breakdown	ユニットにおいて、達成された条件カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements MCDC Coverage Breakdown	ユニットにおいて、達成された MC/DC カバレッジ全体における、要件ベースのテストに由来する割合です。

[要件ベースのテスト] セクション内のバーをクリックすると、[メトリクスの詳細] でユニット内の各モデルのカバレッジ率が示されます。要件ベースのテストでは、カバレッジ率は、達成されたカバレッジ全体で、要件ベースのテストに由来するものの割合です。

ユニット内の各モデルで要件ベースのカバレッジに関連付けられているメトリクスには、以下のものがあります。

メトリクス	説明
Requirements Execution Coverage Fragment	ユニット内の各モデルにおいて、達成された実行カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements Decision Coverage Fragment	ユニット内の各モデルにおいて、達成された判定カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements Condition Coverage Fragment	ユニット内の各モデルにおいて、達成された条件カバレッジ全体における、要件ベースのテストに由来する割合です。
Requirements MCDC Coverage Fragment	ユニット内の各モデルにおいて、達成された MC/DC カバレッジ全体における、要件ベースのテストに由来する割合です。

ユニット境界テスト

ダッシュボードの [達成されたカバレッジの比率] セクションには、ユニットの達成されたカバレッジのソースが表示されます。[ユニット境界テスト] セクションには、全体的な達成されたカバレッジがユニット境界テストからどの程度得られているのかが示されます。

ダッシュボードの [ユニット境界テスト] セクション内のウィジェットに関連付けられているメトリクスには以下のものがあります。

メトリクス	説明
Unit Boundary Execution Coverage Breakdown	ユニットにおいて、達成された実行カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary Decision Coverage Breakdown	ユニットにおいて、達成された判定カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary Condition Coverage Breakdown	ユニットにおいて、達成された条件カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary MCDC Coverage Breakdown	ユニットにおいて、達成された MC/DC カバレッジ全体における、ユニット境界テストに由来する割合です。

[ユニット境界テスト] セクション内のバーをクリックすると、[メトリクスの詳細] でユニット内の各モデルのカバレッジ率が示されます。ユニット境界テストでは、カバレッジ率は、達成されたカバレッジ全体で、ユニット境界テストに由来するものの割合です。

ユニット内の各モデルでユニット境界カバレッジに関連付けられているメトリクスには、以下のものがあります。

メトリクス	説明
Unit Boundary Execution Coverage Fragment	ユニット内の各モデルにおいて、達成された実行カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary Decision Coverage Fragment	ユニット内の各モデルにおいて、達成された判定カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary Condition Coverage Fragment	ユニット内の各モデルにおいて、達成された条件カバレッジ全体における、ユニット境界テストに由来する割合です。
Unit Boundary MCDC Coverage Fragment	ユニット内の各モデルにおいて、達成された MC/DC カバレッジ全体における、ユニット境界テストに由来する割合です。