Importér en eksisterende JUnit-test
Hvis du har JUnit-test uden for TPTP, kan de importeres i en TPTP
JUnit-test.
Trin 1
Hvis de allerede er i et eksisterende Eclipse Java-projekt, skal du
fortsætte med Trin 2.
-
Ellers skal du først importere Java-kildefilen og klassefiler fra filsystemet i et Java-projekt ved at klikke på Fil >
Importér > Filsystem.
-
Klik på Næste. Dialogboksen Filsystem åbnes.
-
Brug Gennemse til at navigere til det ønskede bibliotek, og vælg derefter de relevante filer. Klik på Afslut.
Trin 2
-
Når filerne findes på Eclipse-arbejdsbænken, skal du importere de relevante Java-klassefiler fra Java-projektet ved at klikke på Fil > Importér > JUnit-test til TPTP.
-
Klik på Næste for at få vist dialogboksen Vælg JUnit-test.
-
Navigér til de ønskede filer, og klik derefter på Afslut.
-
Resultatet af en korrekt udført import er en TPTP JUnit-testfil, der er tilknyttet til den importerede pakke eller klasse.
Bemærk, at guiden Importér viser alle eksisterende JUnit-testcases i
arbejdsområdet, der ikke allerede er blevet importeret til TPTP. Hvis denne liste er tom,
betyder det, at der enten ikke blev fundet nogen JUnit-test i arbejdsområdet, eller at
alle eksisterende JUnit-testklasser allerede er importeret i TPTP.