Testing e debugging Validazione (1) IL problema



Scaricare 460 b.
Pagina11/36
29.03.2019
Dimensione del file460 b.
1   ...   7   8   9   10   11   12   13   14   ...   36

Errori dovuti a aliasing

  • Un altro tipo di condizione di confine occorre quando due formali si riferiscono allo stesso oggetto mutabile. Esempio:

  • static void appendVector (Vector v1, Vector v2) throws NullPointerException

  • // MODIFIES: v1 and v2

  • // EFFECTS: If v1 or v2 is null throws NullPointerException else removes

  • // all elements of v2 and appends them in reverse order to the end of v1.

  • static void appendVector (Vector v1, Vector v2) { if (v1 == null) throws new NullPointerException ("Vectors.appendVector");

  • while (v2.size( ) > 0) {

  • v1.addElement(v2.lastElement( ));

  • v2.removeElementAt(v2.size( ) - 1); } }

  • Dati di test che non includono un input in cui v1 e v2 si riferiscono allo stesso vettore non vuoto non rivelano un errore nell’implementazione.



Glass-Box testing (1)

1   ...   7   8   9   10   11   12   13   14   ...   36


©astratto.info 2019
invia messaggio

    Pagina principale