Sie können einen TPTP-JUnit-Test auf zwei Weisen erstellen: manuell oder in Form eines vorhandenen JUnit-Testfalls.
TPTP-JUnit-Tests können manuell erstellt werden oder das Ergebnis des Imports eines vorhandenen JUnit-Tests außerhalb von TPTP in einen TPTP-JUnit-Test sein. Sie sollten manuell erstellt werden, wenn Sie die Komponente behavior des TPTP-JUnit-Tests nutzen sollen.
Wenn Sie über JUnit-Tests außerhalb von TPTP verfügen, können diese in einen TPTP-JUnit-Test importiert werden.