Een bestaande JUnit-test importeren

Als u over JUnit-tests buiten TPTP beschikt, kunt u deze als volgt in een JUnit-test importeren:

Stap 1

Als de tests al in een bestaand Java-project van Eclipse zijn opgenomen, gaat u naar Stap 2.

Stap 2

De importeerwizard beeldt alle bestaande JUnit-testcases in de werkruimte af die nog niet zijn geïmporteerd in TPTP. Als de lijst leeg is, bevat de werkruimte geen JUnit-tests of zijn alle JUnit-testklassen al geïmporteerd in TPTP.