U kunt een JUnit-test van TPTP op twee manieren maken: handmatig of aan de hand van een bestaande JUnit-testcase.
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 van JUnit-tests moeten bevatten.
Als u over JUnit-tests buiten TPTP beschikt, kunt u deze als volgt in een JUnit-test importeren: