Se si desidera eseguire una verifica TPTP JUnit in remoto, sarà necessario creare e configurare una distribuzione di verifica.
Basicamente, le distribuzioni di verifica sono entità correlate ad altre entità
TPTP, risorse e percorsi, a coppie.
Figura 1:
Le risorse di verifica forniscono associazioni per oggetti quali risorse di verifica (ad esempio verifiche TPTP JUnit) e pool di dati; i percorsi di verifica identificano il computer dove verrà eseguita la suite di verifica; le definizioni di distribuzione verifica sono costituite da una coppia composta da una risorsa di verifica e da un percorso. Attraverso il meccanismo della configurazione di avvio, TPTP interpreta la coppia e distribuisce le risorse di verifica sul computer host specificato.
Per eseguire una verifica TPTP JUnit correttamente, non basta solo associare le suite di verifica appropriate e/ i pool di dati a una risorsa e specificare l'host remoto su cui eseguirla. Ci sono una serie di fattori da considerare, tra cui:
Questi argomenti sono trattati nella sezione Regole di distribuzione di base.
Attività correlate
Esecuzione di una verifica
Riferimenti correlati
Regole di distribuzione di base