Creazione manuale di una verifica JUnit

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.

  1. Selezionare File > Nuovo > Altro.
  2. Espandere Verifica. Selezionare Verifica TPTP JUnit.
  3. Scegliere Avanti per aprire la finestra Nuova definizione verifica JUnit.Identificare la cartella di origine (javaProject), il pacchetto (junit.samples) e il nome da assegnare al codice di origine della verifica JUnit (JUnit_src).
  4. Scegliere Avanti. Viene visualizzata la finestra Nuova definizione verifica JUnit.
  5. Immettere la cartella principale (javaProject/junit/samples) e il nome (JUnit_src).
  6. Scegliere Aventi e fornire una descrizione per la definizione di verifica JUnit (facoltativo).
  7. Scegliere Fine.

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.