Return to Video

01ps-02 Miglioramenti Facoltativi

  • 0:00 - 0:04
    Come compito a casa, voglio questi intervalli come abbiam visto.
  • 0:04 - 0:07
    Ma se vuoi una vera sfida, eccoti dell'altro.
  • 0:07 - 0:10
    Per esempio, puoi anche prender nota dei tipi di variabili,
  • 0:10 - 0:14
    per esempio, il tipo di x e' uguale al tipo 2.
  • 0:14 - 0:17
    Oppure potresti vedere se ci sono pattern di strutture set,
  • 0:17 - 0:19
    per esempio, potresti segnalare che la variabile x
  • 0:19 - 0:23
    e' compresa nell'elenco di valori 2, 4 e 16.
  • 0:23 - 0:25
    Le relazioni tra variabili:
  • 0:25 - 0:31
    nella funzione square-root, la variabile y ha sempre lo stesso valore del valore di rientro.
  • 0:31 - 0:36
    Non c'e' niente di eccezionale, perche' effettivamente ritorna y, ma e' una proprieta' interessante.
  • 0:36 - 0:39
    Allo stesso modo, il valore di rientro della funzione square-root
  • 0:39 - 0:44
    e' sempre minore o uguale al valore di cui vogliamo calcolarne la radice.
  • 0:44 - 0:48
    Potrai ottenere queste relazioni tra variabili
  • 0:48 - 0:51
    creando un pattern, tipo == o <=
  • 0:51 - 0:56
    e istanziando questo pattern per tutte le variabili
  • 0:56 - 1:02
    e poi vedere quale schema regge veramente dopo esecuzioni multiple.
  • 1:02 - 1:07
    Detto questo, divertiti a creare il tuo controllore dinamico di invarianti
  • 1:07 - 1:09
    e facilitare la scrittura di asserzioni per le future generazioni. Grazie.
Title:
01ps-02 Miglioramenti Facoltativi
Video Language:
English
Team:
Udacity
Project:
CS259 - Software Debugging
Duration:
01:13

Italian subtitles

Revisions Compare revisions