Creazione di un percorso

I percorsi delle verifiche identificano il computer in cui la verifica verrā eseguita.

Ripetere la stessa sequenza di istruzioni per la creazione di una distribuzione, ma per questo esempio creare un percorso chiamato testLocation.

  1. Fare clic con il tasto destro del mouse in Esplora verifica e selezionare  Nuovo > TestElement...
  2. Aprire Risorse di verifica e selezionare percorso.
  3. Scegliere Avanti per aprire la finestra Nuovo percorso.
  4. Selezionare la cartella principale ed immettere il nome della risorsa (testLocation).
  5. Scegliere Avanti ed immettere una descrizione per il percorso (facoltativo).
  6. Scegliere Fine. Viene visualizzato l'editor di percorso.

Se si desidera eseguire verifiche su un altro computer, immettere il nome di tale computer nel campo Nome host del percorso.

Quando una verifica TPTP JUnit viene distribuita in remoto, č necessario considerare alcuni aspetti della verifica. Tali considerazioni sono riportate nella documentazione relativa alle verifiche TPTP JUnit.

Argomenti correlati
Editor risorse - panoramica
Editor di distribuzione - panoramica
Editor di percorso - panoramica

Attivitā correlate
Creazione di una distribuzione
Creazione di una risorsa
Creazione di una coppia risorsa percorso