Você pode criar um teste JUnit TPTP em uma de duas maneiras: manualmente ou a partir de um caso de teste JUnit existente.
Testes JUnit TPTP podem ser criados manualmente ou como o resultado da importação de testes JUnit existentes fora do TPTP para um Teste JUnit TPTP. Eles deverão ser criados manualmente se precisarem explorar o recurso de comportamento do Teste JUnit TPTP.
Se você tiver testes JUnit fora do TPTP, eles poderão ser importados para um teste JUnit TPTP.