È possibile eseguire una verifica su una o più distribuzioni.
Prima di poter eseguire una verifica, è necessario generare e compilare il codice Java della verifica come spiegato in Generazione di una verifica eseguibile.
Prima di poter generare il codice Java della verifica, deve esistere un percorso per memorizzare il codice. 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.
Prima di poter eseguire una verifica, questa deve essere distribuita. Se non esiste alcuna distribuzione, è necessario creare una come illustrato in Creazione di una distribuzione di verifica. Quando si esegue la verifica, si sceglie una distribuzione esistente.
Viene creata una nuova configurazione di verifica, inizialmente denominata Nuova_configurazione. Modificare il nome, se lo si desidera. In alternativa, espandere Verifica URL Hyades e fare clic su una delle configurazioni dell'elenco che si desidera analizzare o modificare. Viene aperta la casella di dialogo Esegui nella scheda Verifica.
Per eseguire la verifica utilizzando i valori predefiniti oppure utilizzando gli stessi valori impostati durante la precedente verifica eseguita, è possibile fare clic su Esegui ed arrestare la lettura.
Argomento principale: Verifica delle prestazioni con TPTP