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 die Funktion Verhalten des TPTP JUnit-Tests genutzt werden soll.
Beachten Sie, dass vor dem Erstellen eines JUnit-Tests ein Java-Projekt vorhanden sein muss.
Beachten Sie, dass die zweite und dritte Seite des Assistenten optional sind (d. h., Sie können den Assistenten auf der ersten Seite beenden). Ferner ist der Unterschied zwischen den auf Seite 1 und Seite 2 abgefragten Informationen Folgender: Auf der ersten Seite wird nach dem Namen und der Position des Quellcodes, auf der zweiten Seite nach dem Namen und der Position des TPTP-Tests (dem Modell) gefragt. Standardmäßig sind diese identisch.
(C) Copyright IBM Corporation 2000, 2006. Alle Rechte vorbehalten.