Collection of exams 2014

Pagina 1

Politecnico di Milano Anno accademico 2012-2013 Ingegneria del Software – Appello del 12 febbraio 2014 Cognome: Nome: Matricola: Sezione (segnarne una): □ Baresi □ Ghezzi □ San Pietro Istruzioni 1. La mancata indicazione dei dati anagrafici e della sezione comporta l‘annullamento del compito. 2. Al termine, consegnare solo i fogli distribuiti utilizzando il retro delle pagine in caso di necessit `a. Non separare questi fogli. Eventuali fogli di brutta, ecc. non verranno in nessun caso presi in considerazione. `E possibile scrivere in matita. 3. `E possibile consultare liberamente libri, manuali o appunti. `E proibito l’uso di ogni dispositivo elettronico (quali calcolatrici tascabili, telefoni cellulari, ecc.). 4. Non `e possibile lasciare l’aula conservando il tema della prova in corso. 5. Tempo a disposizione: 2h. Esercizio 1: Esercizio 2: Esercizio 3: Esercizio 4: 1 Esercizio 1 Si scrivano le pre- e post-condizioni in JML per i seguenti metodi statici: • public static boolean diagonali(int[][] a) che riceve come parametro una matrice quadrata di interi e restituisce true se le somme dei valori sulle due diagonali sono uguali, false altrimenti. • public static boolean diagonali(ArrayList<Integer> a, int p) che riceve come parametri un arrayList di interi e una posizione p. Il metodo restituisce true se p non `e maggiore della lunghezza di a e se tutti gli elementi in posizione minore di p sono minori di tutti quelli in posizione maggiore di di p, mentre restituisce false altrimenti. • public static boolean diagonali(int[][] a, int p) che riceve come parametri una ma- trice quadrata di interi e un intero p. Se p `e minore della dimensione della matrice, la coppia di indici (p, p) identifica un elemento e sulla diagonale della matrice e divide la diagonale medesima in…