Du kan opprette en TPTP JUnit-test på disse to måtene: manuelt eller fra et eksisterende JUnit-testtilfelle.
TPTP JUnit-tester kan opprettes manuelt eller som et resultat av å importere eksisterende JUnit-tester utenfor TPTP til en TPTP JUnit-test. De bør opprettes manuelt hvis de skal utnytte virkemåte-funksjonen.
Hvis du har JUnit-tester utenfor TPTP, kan disse importeres i en TPTP JUnit-test.