JUnit テストの手動作成

TPTP JUnit テストは、手動で、または TPTP の外部にある既存の JUnit テストを TPTP JUnit テストにインポートして、作成することができます。 TPTP JUnit テストの振る舞い 機能を利用する場合は、TPTP JUnit テストを手動で作成する必要があります。

JUnit テストの作成前に、Java プロジェクトが存在していなければならない点に注意してください。

  1. ファイル」>「新規」>「その他」を選択します。
  2. テスト」を展開します。「TPTP JUnit テスト」を選択します。
  3. 次へ」をクリックし、「新規 JUnit テスト定義」ダイアログを起動します。ソース・フォルダー (javaProject)、パッケージ (junit.samples)、および JUnit テストのソース・コードに割り当てる名前 (JUnit_src) を確認します。
  4. 次へ」をクリックします。「新規 JUnit テスト定義」ダイアログが起動します。
  5. 親フォルダー (javaProject/junit/samples) と名前 (JUnit_src) を入力します。
  6. オプションで、「次へ」をクリックし、JUnit テスト定義の説明を入力します。
  7. 終了」をクリックします。

ウィザードの 2 番目および 3 番目のページは、オプションです (つまり、先頭ページでウィザードを終了できます)。また、ページ 1 およびページ 2 で要求される情報の違いは、先頭ページではソース・コードの名前とロケーションを入力するのに対し、2 番目のページでは TPTP テスト (モデル) の名前とロケーションを入力することです。デフォルトでは、これらのページの情報は同じです。

(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.