Questo argomento descrive come analizzare i risultati prodotti dall'esecuzione di verifiche manuali.
Dopo aver eseguito una suite di verifica manuale, i risultati vengono visualizzati in Esplora verifica, come mostrato di seguito.
Fare doppio clic sulla voce dei risultati per aprire la scheda Panoramica della finestra di dialogo Esecuzione, come mostrato di seguito.
Per visualizzare i dettagli dell'esecuzione della suite di verifica, fare clic sulla scheda Eventi.
Viene aperta la scheda Eventi, come mostrato di seguito.
Passare a un evento nel riquadro di sinistra per visualizzarne i dettagli nei campi a destra.
Argomento principale: Verifica manuale con TPTP