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 di dialogo Generazione codice di definizione verifica JUnit.
  2. Nel campo Progetto Java:, accettare l'impostazione predefinita oppure fare clic su Sfoglia per selezionare il progetto Java in cui memorizzare il codice della verifica.
  3. Nel campo Cartella di origine:, accettare l'impostazione predefinita oppure fare clic su Sfoglia per selezionare la cartella nel progetto Java selezionato in cui memorizzare il codice della verifica.
  4. Fare clic su Fine.

Argomenti principali: Verifica delle prestazioni con TPTP

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