Du kan skapa TPTP JUnit-tester manuellt eller genom att importera befintliga JUnit-tester utanför TPTP till ett TPTP JUnit-test. Skapa dem manuellt om du vill använda TPTP JUnit-testets funktion för funktionalitet.
Observera att det måste finnas ett Java-projekt innan du skapar ett JUnit-test.
Observera att guidens andra och tredje sida är valfria (dvs. du kan alltså avsluta guiden på första sidan). Dessutom är skillnaden mellan den information som begärs på sidan 1 och 2 följande: på den första sidan anger du namn och plats på källkoden, medan du på den andra anger namn och plats på TPTP-testet (modellen). De är som standard identiska.
(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.