Importar um teste JUnit existente

Se já tiver testes JUnit fora do TPTP, estes podem ser importados para um teste JUnit TPTP.

Passo 1

Se os testes se encontrarem já dentro de um projecto Java Eclipse, siga para o passo Passo 2.

Passo 2

Repare que o assistente de importação mostra todos os caso de testes JUnit existentes no espaço de trabalho que ainda não tenham sido importados para o TPTP. Se esta lista estiver vazia, significa que não foram detectados testes JUnit no espaço de trabalho ou que já foram importadas todas as classes de testes JUnit existentes para o TPTP.