Μπορείτε να δημιουργήσετε μια δοκιμή JUnit TPTP με έναν από τους παρακάτω τρόπους: με μη αυτόματο τρόπο ή από ένα υπάρχον σενάριο δοκιμής JUnit.
Οι δοκιμές TPTP JUnit μπορούν να δημιουργηθούν μη αυτόματα ή ως αποτέλεσμα της εισαγωγής δοκιμών JUnit που ήδη υπάρχουν εκτός του TPTP σε δοκιμή TPTP JUnit. Αν πρόκειται να εκμεταλλευτούν τη λειτουργία συμπεριφοράς της δοκιμής TPTP JUnit, θα πρέπει να δημιουργηθούν μη αυτόματα.
Αν έχετε δοκιμές JUnit εκτός του TPTP, μπορείτε να τις εισάγετε σε δοκιμή TPTP JUnit.