JUnit テストの作成

手動により、または既存の JUnit テスト・ケースから、TPTP JUnit テストを作成することができます。