Questirequisitisono chiamatiprecondizioniperchédovrebbero essere veriprima che lafunzione inizil’esecuzione.
Al contrario, lecondizioni alla finedellafunzionesono postcondizioni.
Lepostcondizioniincludonol’effetto voluto della funzione(come disegnare segmenti di linea) e qualsiasi effetto collaterale(comespostare la tartarugao apportare altremodifiche).
Lecondizioni preliminarisonoresponsabilità del chiamante.
Se il chiamanteviola una precondizione (adeguatamentedocumentata!) e la funzione nonfunziona correttamente, il bugè nelchiamante,nonnellafunzione. Se le precondizioni sono soddisfattee lepostcondizioni non lo sono, ilbugènella funzione. Se le tue pre- e postcondizioni sono chiare, possono aiutarti con il debug.
Debug
Presupposti e postcondizioni
Questirequisitisono chiamatiprecondizioniperchédovrebbero essere veriprima che lafunzione inizil’esecuzione.
Al contrario, lecondizioni alla finedellafunzionesono postcondizioni.
Lepostcondizioniincludonol’effetto voluto della funzione(come disegnare segmenti di linea) e qualsiasi effetto collaterale(comespostare la tartarugao apportare altremodifiche).
Lecondizioni preliminarisonoresponsabilità del chiamante.
Se il chiamanteviola una precondizione (adeguatamentedocumentata!) e la funzione nonfunziona correttamente, il bugè nelchiamante,nonnellafunzione.
Se leprecondizioni sono soddisfattee lepostcondizioni non lo sono, ilbugènella
Glossario
Section 5
Glossario
Glossario
Glossario
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e del valore restituito.
Glossario
Glossario I
modulo Un file che contiene unaraccolta di funzioni correlate e altre definizioni.
pacchetto Unalibreria esternacon funzionalità aggiuntive.
utilizzando l’istruzione Un’istruzione che legge un file di modulo e crea un oggetto modulo.
ciclo continuo Una parte di un programmache può essere eseguita ripetutamente.
incapsulamento Il processo di trasformazione di una sequenza di istruzioni in unadefinizione di funzione.
generalizzazione Il processo di sostituzionedi qualcosa diinutilmente specifico(come un numero) con qualcosa di adeguatamente generale(come una variabileo unparametro).
interfaccia Unadescrizionedi come utilizzareuna funzione, incluso il nomee le descrizioni degliargomenti e delvalore restituito.
Glossario
Glossario II
I
refactoring Il processo dimodifica di un programma funzionante per migliorare le interfaccedelle funzioni ealtre qualità del codice.
piano di sviluppo Un processoper scrivere programmi.
docstring Unastringache viene visualizzata nella parte superiore della definizionedi unafunzione per documentare l’interfacciadella funzione.
precondizione Requisitoche deve essere soddisfatto dal chiamanteprima dell’avviodi una funzione.
postcondizione Requisitoche deve essere soddisfatto dalla funzioneprima che termini.
Glossario
Glossario II
I
refactoring Il processo dimodifica di un programma funzionante per migliorare le interfaccedelle funzioni ealtre qualità del codice.
piano di sviluppo Unprocessoper scrivere programmi.
docstring Unastringache viene visualizzata nella parte superiore della definizionedi unafunzione per documentare l’interfacciadella funzione.
precondizione Requisitoche deve essere soddisfatto dal chiamanteprima dell’avviodi una funzione.
postcondizione Requisitoche deve essere soddisfatto dalla funzioneprima che termini.
Glossario
Glossario II
I
refactoring Il processo dimodifica di un programma funzionante per migliorare le interfaccedelle funzioni ealtre qualità del codice.
piano di sviluppo Unprocessoper scrivere programmi.
docstring Unastringache viene visualizzata nella parte superiore della definizionedi unafunzione per documentare l’interfacciadella funzione.
precondizione Requisitoche deve essere soddisfatto dal chiamanteprima dell’avviodi una funzione.
postcondizione Requisitoche deve essere soddisfatto dalla funzioneprima che termini.
Glossario
Glossario II
I
refactoring Il processo dimodifica di un programma funzionante per migliorare le interfaccedelle funzioni ealtre qualità del codice.
piano di sviluppo Unprocessoper scrivere programmi.
docstring Unastringache viene visualizzata nella parte superiore della definizionedi unafunzione per documentare l’interfacciadella funzione.
precondizione Requisitoche deve essere soddisfatto dal chiamanteprima dell’avviodi una funzione.
postcondizione Requisitoche deve essere soddisfatto dalla funzioneprima che termini.
Glossario
Glossario II
I
refactoring Il processo dimodifica di un programma funzionante per migliorare le interfaccedelle funzioni ealtre qualità del codice.
piano di sviluppo Unprocessoper scrivere programmi.
docstring Unastringache viene visualizzata nella parte superiore della definizionedi unafunzione per documentare l’interfacciadella funzione.
precondizione Requisitoche deve essere soddisfatto dal chiamanteprima dell’avviodi una funzione.
postcondizione Requisitoche deve essere soddisfatto dalla funzioneprima
Esercizi
Section 6
Esercizi
Esercizi
Esercizi
Esercizi
aaaa
Esercizi