U kunt JUnit-tests van TPTP handmatig maken of door bestaande JUnit-tests buiten TPTP in een JUnit-test te importeren. U moet tests handmatig maken als ze de gedragsfeature voor TPTP JUnit-tests moeten bevatten.
Voor het maken van een JUnit-test hebt u een bestaand Java-project nodig.
Merk op dat de tweede en derde pagina's van de wizard optioneel zijn. U kunt de wizard dus al op de eerste pagina afronden. Er zit ook een verschil tussen de gegevens die op de eerste en tweede pagina worden ingevuld: Op de eerste pagina vult u de naam en de locatie van de broncode in, terwijl u op de tweede pagina de naam en de locatie van de TPTP-test (het model) invoert. Standaard zijn de velden gelijk.
(C) Copyright IBM Corporation 2000, 2006. Alle rechten voorbehouden.