Criar testes JUnit

Pode criar um teste JUnit TPTP de duas formas: manualmente ou a partir de um caso de teste JUnit existente.