Esecuzione di una verifica JUnit in remoto

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.
struttura con elemento principale 1 e elementi secondari 2 e 3. 4 è una sezione di 2 e 5 è una sezione di 3.
Figura 1:

  1. Distribuzione
  2. Risorsa
  3. Percorso
  4. Suite di verifica, pool di dati e così via.
  5. Nome host e così via.

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