14 09 15

Pagina 1

Appello 14 settembre 2015 ! Politecnico di Milano Anno accademico 2014-2015 Ingegneria del Software Cognome: LAUREANDO ⇤ 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 elettro- nico (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: Esercizio 1 Si consideri il seguente metodo che conta le occorrenze della stringa param in testo: static ArrayList<Integer> trovaOccorrenze(String testo, String param) Si scrivano le pre- e post-condizioni JML del metodo ipotizzando che: 1. Il metodo restituisce sempre un ArrayList di un elemento. Se il metodo trova almeno un’occorren- za, il primo elemento della lista contiene la posizione in testo del primo carattere di param. Se il metodo non trova occorrenze, il primo elemento della lista vale 1; 2. Il metodo restituisce un ArrayList con un numero di elementi variabile. Se la lista non `e vuota, i suoi elementi contengono le posizioni in ordine crescente (primo carattere) di tutte e sole le occorrenze di param in testo. Se il metodo non trova occorrenze, la lista contiene solo il valore 1; 3. l’intestazione del metodo contenga un terzo parametro int prec , ovvero la precisione da usarsi per…