Создание тестов JUnit

Тесты JUnit TPTP можно создавать двумя способами: вручную и из существующих тестовых наборов JUnit.