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