L'editor suite di verifica JUnit consente di creare e rimuovere metodi in una verifica JUnit e di controllare le modalità di richiamo di tali metodi. Facendo doppio clic su un file della suite di verifica JUnit, viene aperto l'editor corrispondente. Sono visualizzate tre schede: Panoramica, Metodi di verifica e Comportamento.
La scheda Panoramica registra diverse proprietà: Nome della verifica TPTP JUnit (in questo esempio, SimpleTest ); la Descrizione ('Esempio di verifica TPTP JUnit'); il percorso file (/javaProject/junit/samples/SimpleTest.testsuite); il Nome pacchetto Java utilizzato (junit.samples); e il Nome classe Java (SimpleTest). Il nome del pacchetto Java può essere immesso direttamente o può essere individuato utilizzando il pulsante Sfoglia.
Se la scheda Metodi di verifica viene selezionata, viene visualizzata la sezione Metodi di verifica dell'editor:
Selezionando un metodo di verifica, nel riquadro a destra vengono visualizzati il Nome e la Descrizione (se disponibile).
Per modificare il nome di un metodo di verifica, selezionare il metodo (nel riquadro a destra), quindi modificare la casella di testo Nome. Per modificare la descrizione di un caso di prova, selezionare il metodo di verifica (nel riquadro a sinistra) e modificare la casella di testo Descrizione. Utilizzare i pulsanti Aggiungi e Rimuovi per aggiungere metodi di verifica e per rimuovere i metodi esistenti (selezionati). Utilizzare i pulsanti Su e Giù per modificare l'ordine dei metodi di verifica.
Nella scheda Panoramica, se la casella di controllo Implementa comportamento verifica come codice è selezionata il comportamento si baserà esclusivamente sul codice, ovvero i metodi di verifica verranno eseguiti esattamente come presentato nella vista Metodi di verifica. Questo è il risultato dell'importazione delle verifiche JUnit in una verifica TPTP JUnit.
Se la casella di controllo Implementa comportamento di verifica come codice viene deselezionata, viene visualizzata la scheda Comportamento. Tenere presente che la funzione di comportamento deve essere utilizzata solo per le verifiche TPTP JUnit create manualmente.
La scheda Comportamento consente di specificare la frequenza e l'ordine in cui vengono eseguiti i metodi di verifica. Tale specifica viene effettuata mediante richiami e cicli: i richiami consentono di specificare i metodi di verifica che si desidera eseguire e in quale ordine; i cicli consentono di integrare i metodi di verifica scelti in un ciclo che può essere eseguito una o più volte. I Comportamenti possono contenere un insieme di richiami e cicli. Per impostare un singolo ciclo:
Selezionare la scheda Comportamento, scegliere Aggiungi... e selezionare Ciclo. Verrà impostato un comportamento nel controllo di un singolo ciclo. Il campo Nome contiene il valore predefinito Loop 1 e il campo Descrizione è vuoto.
Per impostazione predefinita, il numero di iterazioni di un ciclo è 1. Tale impostazione può essere modificata mediante la casella di controllo Numero di iterazioni che specifica il numero delle iterazioni del ciclo.
Se è selezionata la casella di controllo Sincrono e sono state specificate più iterazioni, le iterazioni del ciclo verranno eseguite in sequenza. Se la casella Sincrono è deselezionata e sono state specificate più iterazioni, le iterazioni verranno eseguite contemporaneamente.
Utilizzare i pulsanti Su e Giù per modificare le posizioni dei richiami e dei cicli. Utilizzare i pulsanti Aggiungi e Inserisci per selezionare i cicli o i richiami e il pulsante Rimuovi per eliminare i cicli o i richiami selezionati.
I cicli possono essere nidificati e i richiami non devono essere obbligatoriamente inclusi nei cicli.
Immettendo ALT-k o ALT-s il cursore dell'editor viene spostato all'inizio delle caselle di testo dei campi Nome Pacchetto o Nome Classe.
Attività correlate
Aggiunta metodi di verifica