Vous pouvez créer un test JUnit TPTP de deux manières : manuellement ou à partir d'un scénario de test JUnit existant.
Les tests JUnit TPTP peuvent être créés manuellement ou suite à l'importation de tests JUnit existants hors de TPTP dans un test JUnit TPTP. Ils doivent être créés manuellement pour exploiter la fonction de comportement du test JUnit TPTP.
Si vous disposez de tests JUnit hors de TPTP, vous pouvez les importer dans un test JUnit TPTP.