Generazione di una verifica eseguibile

Seguire questa procedura per generare una verifica eseguibile. Prima di poter eseguire una verifica, è necessario generare e compilare il codice di origine Java della verifica. Questo processo viene definito generazione codice.

Prima di poter generare il codice Java della verifica, deve esistere un percorso per memorizzare il codice. Di norma, si tratta di una cartella denominata src situata nello stesso progetto Java della verifica. Se non esiste nessuna cartella denominata src in nessun progetto Java esistente, è necessario crearne una come spiegato nella sezione Creazione di una nuova cartella di origine. Una volta generato il codice di origine Java della verifica, l'IDE Eclipse compila automaticamente il codice di origine in una verifica eseguibile.

Per generare il codice di origine di una verifica:
  1. In Esplora verifica, fare clic con il tasto destro del mouse sulla verifica da eseguire e selezionare Genera. Viene aperta la finestra Generazione codice di definizione verifica JUnit.
  2. Nel campo Progetto Java, accettare il valore predefinito o scegliere Sfoglia per selezionare il progetto Java in cui archiviare il codice della verifica.
  3. Nel campo Cartella di origine, accettare il valore predefinito o scegliere Sfoglia per selezionare la cartella nel progetto Java selezionato in cui archiviare il codice di verifica.
  4. Scegliere Fine.

Argomento principale> Verifica delle prestazioni con TPTP

(C) Copyright IBM Corporation 2000, 2004. Tutti i diritti riservati.