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.
-
caso contrário, importe primeiro os ficheiros de origem e de classe Java do
sistema de ficheiros para um projecto Java ao fazer clique em Ficheiro >
Importar > Sistema de ficheiros.
-
Fazer clique em Seguinte. Irá abrir-se o diálogo de importação
Sistema de ficheiros.
-
Procure o directório requerido e depois navegue para os ficheiros
relevantes e seleccione-os. Faça clique em Terminar.
Passo 2
-
Quando os ficheiros estiverem na sua área de trabalho do Eclipse, importe os
ficheiros de classe Java relevantes do projecto Java ao fazer clique em
Ficheiro > Importar > Testes JUnit para TPTP.
-
Faça clique em Seguinte para apresentar o diálogo Selecção de Testes JUnit.
-
Navegue para os ficheiros requeridos e faça clique em Terminar.
-
O resultado de uma operação de importação satisfatória será um Ficheiro de
Teste JUnit TPTP associado ao pacote ou classe importado(a).
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.