Test TPTP JUnit můžete vytvořit jedním ze dvou způsobů: Ručně nebo z existujícího testovacího případu JUnit.
Testy TPTP JUnit lze vytvářet ručně nebo jako výsledek importu stávajících testů JUnit provedených mimo TPTP do testu TPTP JUnit. Měly by být vytvořeny ručně, pokud mají využívat vlastnosti chování testu TPTP JUnit.
Pokud máte testy JUnit mimo platformu TPTP, tyto testy mohou být importovány do testu TPTP JUnit.