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.

Schritt 2

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.