Importazione di una verifica JUnit esistente
Se si dispone di verifiche JUnit esterne a TPTP, č possibile importarle in una verifica
TPTP JUnit.
Punto 1
Se le verifiche si trovano giā in un progetto Java Eclipse esistente, passare al Punto 2.
-
In caso contrario, importare l'origine e i file di classe Java dal
file system in un progetto Java scegliendo File >
Importa > File system.
-
Scegliere Avanti. Viene visualizzata la finestra File system.
-
Scegliere Sfoglia per passare alla directory richiesta e selezionare i file necessari. Scegliere Fine.
Punto 2
-
Dopo aver importato i file nel workbench Eclipse, importare il file di classe
Java necessari dal progetto Java scegliendo File > Importa > Verifiche JUnit in TPTP.
-
Scegliere Avanti per visualizzare la finestra Selezione verifiche JUnit.
-
Selezionare i file necessari e scegliere Fine.
-
Se l'operazione di importazione ha esito positivo si otterrā un file di verifica TPTP
JUnit associato al pacchetto o alla classe importati.
Tenere presente che la procedura guidata Importazione mostra
tutti i casi di prova JUnit esistenti nello spazio di lavoro non ancora importati in TPTP. Se questo elenco č vuoto,
significa che non sono state trovate verifiche JUnit nello spazio di lavoro o che tutte le classi di verifica
JUnit esistenti sono giā state importate in TPTP.