Importation d'un test JUnit existant

Si vous disposez de tests JUnit hors de TPTP, vous pouvez les importer dans un test JUnit TPTP.

Etape 1

Si les tests sont déjà inclus dans un projet Java Eclipse, passez à l'étape 2.

Etape 2

Notez que l'assistant d'importation affiche tous les scénarios de test JUnit existants dans l'espace de travail n'ayant pas encore été importés dans TPTP. Si la liste est vide, cela signifie qu'aucun test JUnit n'a été trouvé dans l'espace de travail ou que toutes les classes de test JUnit existantes ont déjà été importées dans TPTP.