Uni.TettyDom3 History
Hide minor edits - Show changes to output
Added lines 99-105:
* Per la trasformazione di Ashcroft e Manna, questo diagramma contiene:
Attach:ashcroftmanna.png
** '''un blocco con più di un test e almeno un ciclo'''
** due cicli con più di un blocco e un ciclo senza test
** un blocco con più di un ciclo e almeno un test
** solo blocchi con un solo test e blocchi senza cicli
Changed line 2 from:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 3 -> TettyCap3]] to:
[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 3 -> Uni.TettyCap3]] Changed line 101 from:
to:
[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 3 -> Uni.TettyCap3]]
Changed lines 3-4 from:
to:
----
%titolo%''':: Domande Capitolo 3 ::'''
Changed lines 96-99 from:
**''la rivalidazione di un programma in seguito a una modifica'' to:
**''la rivalidazione di un programma in seguito a una modifica''
----
[[!UniCrema]]
Added lines 1-96:
(:title Domande Tetty - Capitolo 3:)
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 3 -> TettyCap3]]
*Che cos'è un'asserzione?
**''Un costrutto condizionale che controlla il soddisfacimento di u a proprietà invariante''
*Che cos'è la correttezza parziale di un programma?
**''La garanzia che il programma , se termina, produce un risultato che soddisfa la specifica''
*Come si dichiara in C, C++ e Java una matrice 10 per 10 di interi?
**''int x[10][10]''
*In C, C++ e Java una variabile:
**''deve essere dichiarata prima di poter essere usata''
*A che cosa il costrutto for è semanticamente equivalente?
**''a un costrutto while''
*Che cosa si intende per "attività di gestione" nella programmazione strutturata?
**''una decisione, una selezione o un'iterazione''
*Qual'è lo scopo della presenza dei tipi in C, C++ e Java?
**''aiutare il programmatore ad evitare certi errori comuni''
*Qual'è in C, C++ e Java la sintassi dell'assegnamento?
**''<id_variabile> = <espressione>''
*Qual'è la differenza tra funzione e procedura?
**''una funzione restituisce un valore, una procedura ''
*Qual'è il vincolo sulla profondità posto dalla programmazione strutturata?
**''non più di tre livelli di strutture di controllo una dentro l'altra''
*Come si costruisce in C, C++ e Java un blocco di istruzioni eseguite in sequenza?
**''scrivendole una di seguito all'altra e racchiudendole tra graffe''
*A quale costrutto C, C++ e Java corrisponde la nozione di tabella di salto?
**''al costrutto switch''
*C, C++ e Java sono linguaggi:
**''fortemente tipati''
*Qual'è l'idea che sta alla base della dimostrazione del Teorema di Böhm-Jacopini?
**''trasformare un programma con salti in un unico ciclo while contenente tanti if''
*Il Teorema di Böhm-Jacopini costituisce:
**''una giustificazione matematica della programmazione strutturata''
*Che cosa si intende per "attività di processo" nella programmazione strutturata?
**''un compito elementare''
*Che cos'è un "modulo" nella programmazione strutturata?
**''un blocco di codice con esattamente un punto di entrata e un punto di uscita''
*Che cos'è la trasformazione di Ashcroft e Manna?
**''Una dimostrazione alternativa del Teorema di Böhm-Jacopini''
*Un programma senza salti:
**''può essere meno efficiente di un equivalente programma con salti ''
*Quali costrutti di selezione mettono a disposizione i linguaggi C, C++ e Java?
**''if e switch ''
*Come si dichiara in C, C++ e Java una matrice 10 per 10 di interi?
**''int x[10][10];''
*I commenti sono delimitati, in C, C++ e Java:
**''dai due simboli /* e */ ''
*In C, C++ e Java una variabile
**''deve essere dichiarata prima di poter essere usata''
*Che cosa sono le istruzioni break e continue?
**''due istruzioni di salto "controllate"''
*Qual'è un insieme minimale di costrutti di controllo sufficiente per realizzare qualsiasi algoritmo?
**''esecuzione in sequenza e costrutto while''
*Che cosa significa "coesione funzionale"?
**''essere volto a ottenere un solo scopo a realizzare una sola funzionalità ''
*Qual'è la differenza tra il costrutto while e il costrutto do ... while?
**''il secondo esegue almeno una volta il suo corpo''
*In C, C++ e Java l'espressione int x[10] dichiara un vettore:
**''di 10 interi''
*La stringa _return può essere l'identificatore di una variabile C, C++ o Java?
**''sì''
*Esempi di tipi predefiniti in C, C++ e Java sono:
**''int, char e double''
*Che cosa si intende con il termine "test di regressione"?
**''la rivalidazione di un programma in seguito a una modifica''
|
