Testing e debugging Validazione (1) IL problema


Questo non è ottenibile. Il miglior risultato che possiamo sperare di raggiungere è che un programma soddisfi la sua specifica



Scaricare 460 b.
Pagina2/36
29.03.2019
Dimensione del file460 b.
1   2   3   4   5   6   7   8   9   ...   36

Questo non è ottenibile. Il miglior risultato che possiamo sperare di raggiungere è che un programma soddisfi la sua specifica.

  • Ci sono due strade per la validazione.

  • Possiamo cercare di argomentare che il programma funziona per tutti i possibili input. Questa attività richiede un ragionamento sul testo del programma ed è chiamata verifica. La verifica formale è troppo pesante senza l’aiuto di una macchina e gli strumenti a disposizione oggi sono insoddisfacenti. Perciò la maggior parte della verifica è ancora fatta in modo piuttosto informale ed è un processo difficile.






  • Condividi con i tuoi amici:
    1   2   3   4   5   6   7   8   9   ...   36


    ©astratto.info 2019
    invia messaggio

        Pagina principale