Testing e debugging Validazione (1) IL problema



Scaricare 1.18 Mb.
Pagina21/36
29.03.2019
Dimensione del file1.18 Mb.
1   ...   17   18   19   20   21   22   23   24   ...   36

Nelle operazioni di IntSet il costruttore e i metodi insert e remove devono esser usati per generare gli argomenti per le altre operazioni e l’una per l’altra. Inoltre gli osservatori sono usati per il test di costruttori e mutatori. Per esempio isIn e size sono usati per esaminare gli insiemi prodotti da insert e remove.

  • RepOk ha un ruolo speciale in questo test: dovremmo chiamarlo dopo ciascuna chiamata di un’operazione del tipo di dato (sia metodo che costruttore). Naturalmente deve restituire vero se l’implementazione è corretta.






  • Condividi con i tuoi amici:
    1   ...   17   18   19   20   21   22   23   24   ...   36


    ©astratto.info 2019
    invia messaggio

        Pagina principale