È possibile creare una verifica TPTP JUnit manualmente o da un caso di prova JUnit esistente.
Le verifiche TPTP JUnit possono essere create manualmente o possono essere ottenute importando verifiche JUnit esistenti esterne a TPTP in una verifica TPTP JUnit. Creare le verifiche manualmente se si desidera utilizzare la funzione comportamento di TPTP JUnit.
Se si dispone di verifiche JUnit esterne a TPTP, è possibile importarle in una verifica TPTP JUnit.