ワークベンチ・ロケーションの作成

ワークベンチ・ロケーションを使用して、TPTP JUnit プラグイン・テストを実行する場所を指定します。

  1. ファイル」>「新規」>「その他」>「ワークベンチのロケーション」>「テスト」>「テスト資産」を選択します。「次へ」をクリックします。
  2. 「親フォルダーの入力または選択」フィールドで、pluginProj/src と入力します。「名前」フィールドに workLOC と入力します。
  3. 次へ」をクリックして「ワークベンチの詳細」ダイアログを起動します。
  4. 次へ」をクリックし、必要に応じてワークベンチ・ロケーションの説明を入力します。
  5. 終了」をクリックします。ワークベンチ・ロケーション・エディターは、「概要」タブが開いた状態で開きます。(「概要」タブが開いていない場合は、workLOC ロケーション・ファイル上でダブルクリックします。)