Glass-Box testing: esempi 2
la path-completeness non basta per trovare tutti gli errori
static int maxOfThree (int x, int y, int z) { return x; }
il test che contiene il solo input 2, 1, 1 è path-complete
- usando questo test saremmo portati a credere che il programma è corretto perché il test non rivela alcun errore
è il fenomeno già menzionato, secondo cui, guardando l’implementazione solo, non si vedono i cammini che mancano
- tipico errore nel passaggio da specifica a implementazione
è sempre necessario un Black-Box testing, che utilizza la specifica