カバレッジ
Coverageレポートは、選択したモデルの最新バージョンに対するテストカバレッジの概観と詳細分析を提供するために、2つのセクションに分けられています。
ヒストリーチャート
ヒストリーチャートでは、デフォルトのカバレッジタイプに対する実行回数に対する成功メトリクスとカバレッジパーセンテージを一目で確認できます：
- すべてのノード
- すべて のペア
- 拡張
- 完全な探索。
以下のデータが表示されます：
履歴
-
**実行：**選択した現在のモデルのバージョンに対する完了したテストランの数。
-
**テスト時間：**すべてのテストランの合計時間。
アウトカム
-
**パス：**パスしたテストランの数。
-
**失敗：**失敗したテストランの数。
-
**パス率：**パスしたテストランのパーセンテージ。
カバレッジ予測（90%）
これは、グラフにプロットされた実際の結果に基づいて、各カバレッジモデルで90%のカバレッジに到達するまでの時間の見積もりです。90%のカバレッジが達成されていた場合、このフィールドにはDoneと表示され、そうでない場合、各カバレッジタイプについて、90%のカバレッジが達成されるまでの残りの時間がリストされます。
ヒートマップ
ヒートマップでは、各カバレッジタイプに対する詳細なカバレッジメトリクスを、ステート、アクション、パスを含めて詳細に調査します。
Coverageヒートマップは、モデル内の状態とアクションのカバレッジパーセンテージを視覚化します。
Coverageヒートマップを表示するには、Insights > Coverageに移動し、サブナビゲーションでヒートマップを選択します。ヒートマップの上にあるモデルドロップダウンセレクタを使用して、現在のモデルを変更することがでます。
カスタムカバレッジモデルはこのビューでレンダリングすることができません。
カバレッジサマリー
サイドバーのカバレッジモデルドロップダウンを変更すると、ビジュアライゼーションとサイドバーのコンテンツが更新されます。次のオプションが利用可能です：
-
すべてのノード
-
すべてのペア
-
拡張
-
完全な探索
以下のメトリクスは、各カバレッジタイプについてサイドバーに表示されます：
-
総カバレッジパーセンテージ
-
カバレッジされているステートの数
-
カバレッジされているアクションの数
-
カバレッジされているパスの数
モデルビジュアライゼーション
カバレッジのない選択されたモデルの要素はグレースケールでレンダリングされます。カバレッジがあるアクションとステートは、そのカバレッジパーセンテージに応じて飽和した背景を示します。これらのパーセント値のフォントカラーは、可読性のためにのみ変更されます。フォントカラーは追加の意味を持たない。
アクション、ステートパラメータ、そしてステート内のサブモデルの累積カバレッジは、ステートヘッダーのパーセンテージとして表示されます。グローバルアクションコンテナはカバレッジパーセンテージを表示しません。
要素カバレッジ
モデル内のステートまたはアクションをクリックすると、選択した要素に特化したメトリクスでサイドバーが更新されます。
メトリクス
アクションが選択された場合、以下の内容がアクションサマリーセクションの下に表示されます：
-
アクションの名前
-
アクションを含むステートの名前
-
アクションのカバレッジパーセンテージ
-
ヒット数
ステートが選択された場合、以下の内容がステートサマリーセクションの下に表示されます：
-
ステートの名前
-
ステートのカバレッジパーセンテージ
-
ヒット数
ヒット数は、全ての前回のテストランでその要素がヒットした累積の回数です。
パス
選択した要素を含むモデルを通る可能なパスがリストアップされます。カバレッジレポートによっては、これらのパスの一部が Covered Paths セクションまたは Uncovered Paths セクションの下にリストアップされるでしょう。