Die TPTP-JUnit-Komponente ist fest in TPTP integriert und muss nicht nachinstalliert werden.
Zum Beginn wird eine kleine Klasse benötigt, die mit JUnit getestet werden soll. Dazu wird ein neues Projekt mit dem Namen "TPTP_JUnit" erstellt. Als nächstes wird die zu testende Klasse GrundrechenartenDemo erstellt.
Nun wird es Zeit über New -> Other -> TPTP JUnit Test eine neue Testsuite anzulegen. Als Name wird "GrundrechenartenDemosuite" gewählt. Es sollte jetzt eine GrundrechenartenDemosuite.testsuite und eine GrundrechenartenDemosuite.java angelegt worden sein. Durch Öffnen der "GrundrechenartenDemosuite.testsuite" erscheint ein GUI, mit deren Hilfe Testfälle erstellt und verwaltet werden können. Es gibt drei Konfigurationsreiter. Overview zeigt generelle Informationen an, Test Methods erstellt und verwaltet Testmethoden und Behavior wie die Testmethoden aufgerufen werden. Als Nächstes werden die nötigen Testfälle erstellt, siehe Bild.
In Behavior werden die Methoden über Add -> Invocation hinzugefügt. Mit Loops können Methoden n-Mal getestet werden.
Beim Speichern werden die angelegten Methoden in die "GrundrechenartenDemosuite.java" hinzugefügt (Alternativ können in diesem Fall die Variablen auch direkt initialisiert werden).
Als Nächstes werden zwei Testvariablen benötigt, die über setUp(); mit 5 und 5 initialisiert werden.
Innerhalb der test...- Methoden wird nun das GrundrechenartenDemo-Objekt benötigt, um die Methoden aufzurufen.
Das Objekt wird mit "temp" deklariert. Mit Hilfe von assertTrue wird überprüft, ob die Ergebnisse gleich sind und gibt dementsprechend
ein pass oder fail aus.
Die statische Methode public static Test suite(); sorgt für das Durchführen und Auswerten der TestCases. Mittels addTest(); werden die zu testenden Methoden
zur Testuite hinzugefügt und vom Arbiter ausgewertet. Jede Methode erhält eine eindeutige ID.
Um den Test zu starten, wird einfach die GrundrechenartenDemosuite.testsuite gestartet.
In der neu angelegten Datei sind zwei Reiter vorhanden, wobei Overview die generellen Informationen beinhaltet und Events die genaue Auflistung der Testfälle mit Zusatzinformationen.
Wenn die Tests passen:
Wenn die Tests fehlschlagen:
Der einzige Unterschied zwischen TPTP-JUnit Tests und normalen JUnit-Tests ist, dass diese mit Hilfe der Testsuite etwas besser zu handhaben sind. Es ist ein kleines, nützliches Hilfsmittel, das das mühsame Schreiben, Verwalten und Analysieren von Tests weniger arbeitsaufwändig macht.