Du kan oprette en TPTP JUnit-test på to måder: manuelt eller fra en eksisterende JUnit-testcase.
TPTP JUnit-test kan oprettes manuelt eller som et resultat af import af eksisterende JUnit-test uden for TPTP i en TPTP JUnit-test. De skal oprettes manuelt, hvis de skal udnytte TPTP JUnit-testfunktionen funktionsmåde.
Hvis du har JUnit-test uden for TPTP, kan de importeres i en TPTP JUnit-test.