カバレッジモデルの設定
AccountメニューからEggplant DAIで利用可能なカバレッジモデルを設定します。カバレッジモデルを使用すると、特定のカバレッジ目標が達成されたときを確認できます。新しいカバレッジモデルタイプを追加するときは、意味のある名前を提供すると便利です。
Eggplant DAIで利用可能なデフォルトのカバレッジモデルは以下のとおりです：
- 全ノード
- 全パス
- 拡張
- フル探索
設定は、選択したEggplant DAIサーバーのインスタンス全体のすべてのグループとモデルに適用されます。
カバレッジモデルの追加：
-
Account > Manage Coverage Modelsをクリックします。カバレッジ管理ダイアログボックスが表示されます。
-
Add New Coverage Modelsをクリックします。新しいモデルがリストに追加されます。名前フィールドをクリックして、新しく追加されたモデルに意味のある名前を提供します。
-
Path depthおよびVariable depthの値を変更するには、各列を編集するだけです。パス深度は1-5の値を使用して編集でき、変数深度は1-2の値を使用して編集できます。パスの深さは、計 算に使用される連続したActionの数を指します。例えば、パス深度が3を選択した場合、3つの連続したActionの一意の組み合わせが考慮されます。一方、変数の深さは、カバレッジレポートを作成する際にクロス組み合わせに関与する変数の数を表します。現在、過剰なメモリ使用を防ぐために、変数深度を1-2の値に制限することを推奨しています。Crossタイプの値に関する詳細な情報は、カバレッジレポートの使用を参照してください。
-
Activeを選択して、新しく追加したモデルを*Coverage Report tab > Coverage Typeのドロップダウンリストで利用可能にします。
-
Coverage ModelTypeを削除するには、モデルを選択してからDelete Selectedをクリックします。モデルはリストから削除されます。
Coverage Model タイプを追加すると、カバレッジモデルが使用されるすべての場所で利用できるようになります。例えば、Coverage Report タブやCoverage Insights reportなどです。