Importando um Teste JUnit Existente

Se você tiver testes JUnit fora do TPTP, eles poderão ser importados para um teste JUnit TPTP.

Etapa 1

Se os testes já estiverem em um projeto Eclipse Java existente, vá para a Etapa 2.

Etapa 2

Observe que o assistente de importação mostra todos os casos de teste JUnit existentes no espaço de trabalho que ainda não foram importados para o TPTP. Se essa lista estiver vazia, isso indicará que nenhum teste JUnit foi localizado no espaço de trabalho ou que todas as classes de testes JUnit existentes já foram importadas para o TPTP.