Glass-Box Testing per IntSet
i casi visti finora danno una buona copertura per l’implementazione che usa il vettore senza duplicazioni
un problema si ha con isIn che contiene un ciclo implicitamente attraverso la chiamata a getIndex
- per coprire tutti i cammini in questo ciclo dobbiamo controllare il caso di un vettore di due elementi in cui non si ha nessun confronto positivo o un confronto positivo con il primo o con il secondo elemento
- non si possono trovare questi test considerando solo la specifica
- al livello della specifica siamo solo interessati a verificare se l’elemento č nell’insieme oppure no e non ci interessa la posizione dell’elemento nel vettore
analogamente in remove dobbiamo essere sicuri di cancellare sia il primo che il secondo elemento del vettore