Importere en eksisterende JUnit-test
Hvis du har JUnit-tester utenfor TPTP, kan disse importeres i en TPTP JUnit-test.
Trinn 1
Hvis testene allerede er i et eksisterende Eclipse Java-prosjekt, går du til Trinn 2.
-
Hvis ikke, importerer du først Java-kilden og -klassefilene fra filsystemet til et Java-prosjekt ved å klikke på Fil >
Importer > Filsystem.
-
Klikk på Neste. Dialogboksen Filsystem åpnes.
-
Bla gjennom til riktig katalog og naviger deretter til, og velg, de relevante filene. Klikk på Fullfør.
Trinn 2
-
Når filene er på Eclipse-arbeidsbenken, importerer du de relevante Java-klassefilene fra Java-prosjektet ved å
klikke på Fil > Importer > JUnit-tester til TPTP.
-
Klikk på Neste for å vise dialogboksen Valg av JUnit-tester.
-
Naviger til de ønskede filene og klikk deretter på Fullfør.
-
Resultatet av en vellykket importoperasjon vil være en TPTP
JUnit-testfil knyttet til den importerte pakken eller klassen.
Legg merke til at importveiviseren viser alle eksisterende JUnit-testtilfeller i arbeidsområdet som ikke
allerede er importert til TPTP. Hvis denne listen er tom, betyr det at det ikke ble funnet noen JUnit-tester i
arbeidsområdet, eller at alle eksisterende JUnit-testklasser allerede er importert til TPTP.