I percorsi delle verifiche identificano il computer in cui la verifica verrą eseguita.
Sono presenti tre schede: Panoramica, Proprietą generali e Proprietą del Workbench Eclipse. L'immagine precedente mostra la scheda Panoramica.
La sezione Informazioni generali fornisce il nome del percorso (testLocation in questo esempio), la descrizione ('A sample location'), il percorso nello spazio di lavoro (/java_01/testLocation.location) e il nome host (localhost).
Il nome host predefinito per il percorso č localhost. Se si desidera eseguire la verifica su un altro computer, immettere il nome di tale computer nel campo Nome host.
I Gruppi di proprietą fanno riferimento alle sezioni Proprietą generali e Proprietą del workbench Eclipse, mostrate separatamente anche nel lato destro della scheda Panoramica dell'editor di percorso. Ciascuno fa riferimento rispettivamente alle schede Proprietą generali e Proprietą del workbench Eclipse. Entrambi fanno riferimento alla scheda Proprietą generali. Scegliendo Altro... nella sezione Proprietą generali o nella sezione Proprietą del workbench Eclipse vengono visualizzate le rispettive schede.
Si tratta di informazioni relative all'impostazione delle proprietą per lo sviluppo di una verifica di plugin TPTP JUnit. L'argomento viene trattato nella documentazione di aiuto che descrive la verifica di plugin TPTP JUnit.
Le funzionalitą disponibili sono identiche a quelle descritte per la scheda Proprietą generali nell'editor delle risorse.
Argomenti correlati
Editor risorse - panoramica
Editor di distribuzione - panoramica
Attivitą correlate
Creazione di una risorsa
Creazione di una distribuzione
Creazione di un percorso
Creazione di una coppia risorsa percorso