Einen vorhandenen JUnit-Test importieren
Wenn Sie über JUnit-Tests außerhalb von TPTP verfügen, können diese in einen
TPTP-JUnit-Test importiert werden.
Schritt 1
Wenn die Tests sich bereits innerhalb eines vorhandenen Eclipse-Java-Projekts befinden,
fahren Sie mit Schritt 2 fort.
-
Importieren Sie andernfalls zuerst den Java-Quellcode und die Klassendateien
aus dem Dateisystem in ein Java-Projekt, und klicken Sie dann auf Datei >
Importieren > Dateisystem.
-
Klicken Sie auf Weiter. Das Dialogfenster für den Import Dateisystem wird aufgerufen.
-
Navigieren Sie mit Hilfe von Durchsuchen zum erforderlichen Verzeichnis, und wählen Sie
die relevanten Dateien aus. Klicken Sie auf Fertig stellen.
Schritt 2
-
Sobald die Dateien sich in Ihrer Eclipse-Workbench befinden, importieren Sie die relevanten
Java-Klassendateien aus dem Java-Projekt, indem Sie auf Datei > Importieren >
JUnit-Tests in TPTP klicken.
-
Klicken Sie auf Weiter, um das Dialogfenster Auswahl von Junit-Tests aufzurufen.
-
Navigieren Sie zu den erforderlichen Dateien, und klicken Sie anschließend auf Fertig stellen.
-
Das Ergebnis einer erfolgreichen Importoperation ist eine
TPTP-JUnit-Testdatei, die dem importierten Paket oder der importierten Klasse zugeordnet ist.
Beachten Sie, dass der Importassistent alle vorhandenen Testfälle im Arbeitsbereich anzeigt ,
die nicht bereits in TPTP importiert wurden. Falls diese Liste im Arbeitsbereich leer ist, wurden entweder keine JUnit-Tests im Arbeitsbereich gefunden oder alle vorhandenen JUnit-Testklassen wurden bereits in TPTP importiert.