Criando Testes JUnit

Você pode criar um teste JUnit TPTP em uma de duas maneiras: manualmente ou a partir de um caso de teste JUnit existente.