Δημιουργία δοκιμών JUnit

Μπορείτε να δημιουργήσετε μια δοκιμή JUnit TPTP με έναν από τους παρακάτω τρόπους: με μη αυτόματο τρόπο ή από ένα υπάρχον σενάριο δοκιμής JUnit.