Testing e debugging Validazione (1) IL problema


Esempio. static float sqrt (float x, float epsilon)



Scaricare 460 b.
Pagina8/36
29.03.2019
Dimensione del file460 b.
1   ...   4   5   6   7   8   9   10   11   ...   36

Esempio.

  • static float sqrt (float x, float epsilon)

  • // REQUIRES: x >= 0 && .00001 < epsilon < .001

  • // EFFECTS: Returns sq such that x - epsilon <= sq*sq <= x + epsilon.

  • La clausola REQUIRES è la congiunzione di due termini:

  • 1. x >= 0

  • 2. .00001 < epsilon < .001

  • Poiché il primo termine è la disgiunzione di due termini (x > 0 è un’abbreviazione per x = 0 or x > 0), può essere soddisfatto in due modi. Abbiamo cosí due vie per soddisfare la clusola REQUIRES:

  • 1. x = 0 and .00001 < epsilon < .001

  • 2. x > 0 and .00001 < epsilon < .001

  • Un insieme di dati di test per sqrt deve controllare ciascuno di questi casi.



  • Testing dei cammini (2)

    1   ...   4   5   6   7   8   9   10   11   ...   36


    ©astratto.info 2019
    invia messaggio

        Pagina principale