TPTP JUnit テストは、手動で、または TPTP の外部にある既存の JUnit テストを TPTP JUnit テストにインポートして、作成することができます。 TPTP JUnit テストの振る舞い 機能を利用する場合は、TPTP JUnit テストを手動で作成する必要があります。
JUnit テストの作成前に、Java プロジェクトが存在していなければならない点に注意してください。
ウィザードの 2 番目および 3 番目のページは、オプションです (つまり、先頭ページでウィザードを終了できます)。また、ページ 1 およびページ 2 で要求される情報の違いは、先頭ページではソース・コードの名前とロケーションを入力するのに対し、2 番目のページでは TPTP テスト (モデル) の名前とロケーションを入力することです。デフォルトでは、これらのページの情報は同じです。
(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.