モデルチェッカー概要

Model Checker Summaryモジュールは、失敗したチェックのテーブルとともに、3つの基本的なテーブルを作成します。

このモジュールは、現在のセッションで実行されたモデルチェッカーの概要を作成します。これには、エラー、各種情報、警告が含まれます。テーブル名：
  • ERRORテーブル
  • WARNINGテーブル
  • INFOテーブル
  • Failed Checksテーブル

  1. レポートリボン、モジュールの追加ツールグループから、をクリックし、Model Checker Summaryモジュールを選択します。

    または

    ReportまたはChapterレベルで右クリックし、Report/Chapter > Add > Modules > Validate > Model Checker Summaryを選択します。
  2. 以下は、Model Checker Summaryモジュールに関連したプロパティです。
    図 1.
    Name
    Model Checker Summaryモジュールの名前を指定します。
    Model Checker Checks
    ERROR Table
    エラーチェック全体の概要
    WARNING Table
    警告チェック全体の概要
    INFO Table
    チェック全体の情報の概要
    Failed Checks Tables
    モデルチェッカーで失敗したチェックの詳細に関する概要。
    エクスポートオプション
    Checks Export Type
    利用可能なエクスポートチェックオプションは、Failed、Passed、Allです。
    モジュールは、ここで選択されたチェックタイプの概要を作成します。
    Advanced
    Page Break
    項目の末尾に改ページを追加する場合はチェックします。
  3. 実行すると、Model Checker Summaryが表形式で出力されます。
    図 2.
    図 3.
    図 4.