アサーションの追加

この手順では、アサーションの追加方法について説明します。

アサーションをエンドポイントとポリシーの両方に追加できます。ドロップダウン形式のアサーション・オプション・フォームに、5 つのアサーション・カテゴリーが表示されます。

アサーションを追加するには、以下のようにします。

  1. 「追加」をクリックします。
  2. 「アサーション・タイプの選択」ポップアップ・ウィンドウの「フィルター処理されたツリー選択」ダイアログからアサーションを選択します。
  3. 「アサーション・タイプ」を選択すると、アサーション・エディター・ダイアログが表示されます。 アサーションを常に真にしたい場合は「必須」を選択し、アサーションの値が変わることを望まない場合は「ロック」を選択します。
  4. 必要なプロパティー値を入力します。これにより、そのカテゴリーのテーブル内のレコードとしてアサーションが追加されます。
  5. プロセスを繰り返して、さらにアサーションを追加します。

ナビゲーション

ポリシーまたはエンドポイントのエディターにナビゲートし、エディターの下部から「コントラクト」タブまたは「アサーション」タブにアクセスします。

関連概念
アサーション・フラグのインプリメント
アサーション・タイプ・エディターの処理
関連資料
アサーション・リストのセットアップ