Le verifiche TPTP JUnit possono essere create manualmente o possono essere ottenute importando verifiche JUnit esistenti esterne a TPTP in una verifica TPTP JUnit. Dovranno essere create manualmente se si desidera utilizzare la funzione comportamento di TPTP JUnit.
Per creare una verifica JUnit è necessario disporre di un progetto Java.
Tenere presente che la seconda e la terza pagina della procedura guidata sono facoltative (è possibile completare la procedura nella prima pagina). Inoltre, esiste una differenza tra le informazioni richieste nella pagina 1 e nella pagina 2, infatti mentre nella prima pagina vengono richiesti il nome e il percorso del codice di origine, nella seconda vengono richiesti il nome e il percorso della verifica TPTP (il modello). Per impostazione predefinita, sono identiche.
(C) Copyright IBM Corporation 2000, 2006. Tutti i diritti riservati.