Тесты JUnit TPTP можно создавать двумя способами: вручную и из существующих тестовых наборов JUnit.
Тесты JUnit TPTP можно создать вручную, либо путем импорта в TPTP существующих тестов JUnit. Функция настройки алгоритма применима только в том случае, если тест JUnit TPTP создан вручную.
Существующие тесты JUnit можно импортировать в TPTP в качестве тестов JUnit TPTP.