3. 必要な定数ファイルを選択するか、「新規ファイルを作成」(Create new file) をクリックして新しい定数コンフィギュレーションファイルを作成します。「ModelCHECK コンフィギュレーションツール」(ModelCHECK Configuration Tool) ダイアログボックスの右枠に、適用可能なすべての定数がリストされたテーブルが表示されます。現在選択されているファイル内のすべての定数がリストされ、その選択チェックボックスはオンになり、その「定数値」(Constant Value) フィールドに値が表示されています。

4. コンフィギュレーションファイルに新しい定数を追加するには、左側の選択ボックスをクリックします。「定数値」(Constant Value) フィールドにポインタを合わせ、その定数の値を指定します。

5. 「保存」(Save) をクリックして変更をカレントファイルに保存するか、「名前を付けて保存」(Save as) をクリックして変更を別のファイルに保存します。