Study material for Ingegneria del Software, shared by the Studwiz community and reviewed by moderators.
Study material for Ingegneria del Software, shared by the Studwiz community and reviewed by moderators.
Import quality: text was extracted directly from the original document.
Representative passages recognised in different parts of the material. The full extracted text remains available to search, while this compact preview makes the page easier to read.
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…
First page of the document.
