Création de tests JUnit

Vous pouvez créer un test JUnit TPTP de deux manières : manuellement ou à partir d'un scénario de test JUnit existant.