Metodi Formali nell'Ingegneria del Software

Regole e modalità d'esame

1. L'esame consiste in un progetto da sviluppare e presentare in un seminario pubblico, una prova scritta e in una successiva prova orale.

2. La prova orale va sostenuta nello stesso appello in cui si sostiene la prova scritta, mentre il progetto può essere consegnato e presentato anche in un momento diverso.

3. L'esame si intende superato nel momento in cui lo studente supera tutte le prove previste. Il verbale verrà rilasciato nel corso del primo appello utile.

4. L'esame di ogni studente deve concludersi entro 5 appelli (un anno accademico) dal suo inizio. Quindi il progetto (la prova scritta) deve essere discusso (sostenuta) entro 5 appelli da quello in cui è stata sostenuta (è stato discusso) la prova scritta (il progetto).

5. La tipologia delle diverse prove d'esame è la seguente:

   Progetto

   • I progetti possono essere svolti sia da singoli studenti che da gruppi di al più 4 persone. Si consiglia fortemente di formare gruppi di almeno 3 persone per evitare carichi di lavoro eccessivi.

   • Dei progetti svolti congiuntamente da più studenti, deve essere chiaramente valutabile il contributo apportato dai diversi componenti del gruppo.

   • L'interazione tra il gruppo di lavoro e il docente relativamente allo svolgimento di un progetto evolve secondo le seguenti fasi:
     1. Il gruppo propone un'idea originale per il progetto. I progetti possono essere di diverse tipologie, tra cui:
        • Approfondimento di un tool di supporto a metodi formali non illustrato durante il corso, e studio di opportune metodologie per il suo utilizzo in attività relative all'Ingegneria del Software;
        • Utilizzo di metodi formali per la verifica di proprietà di algoritmi o protocolli non banali;
        • Reverse engineering di sistemi esistenti di non banale complessità ed utilizzo di opportuni metodi formali per la scoperta di errori e bachi;
        • Studio di nuove metodologie per la verifica di proprietà di altre tipologie di artefatti usati nel processo di sviluppo del SW (ad es. altre tipologie di diagrammi UML, specifiche, ecc.);
        • Generazione automatica di codice per qualche sistema di supporto a metodi formali a partire da documentazione di progetto.

        E' inoltre possibile consultare questa pagina dove vengono via via pubblicate alcune idee di progetto.

        La proposta viene confezionata dal gruppo in un testo di circa 2 pagine in cui vengono illustrati:

        • Il dominio applicativo e il problema che si vuole studiare
        • Le metodologie e le tecniche formali che si prevede di utilizzare o di proporre
        • Gli elementi di innovatività rispetto alle tecniche già studiate durante il corso e ai progetti simili eventualmente già svolti da altri studenti (e pubblicati su questo sito web). Questo punto è molto importante: non saranno accettati progetti che si configurano come un'applicazione pedissequa (sebbene di dimensioni maggiori) delle tecniche viste durante il corso, o molto simili a progetti già svolti.

     2. Il docente dà una prima valutazione circa l'originalità, l'adeguatezza e la bontà della proposta e, in caso positivo, dà l'approvazione a proseguire nel lavoro. In caso contrario, dà suggerimenti al gruppo (che torna al passo 1.) per il confezionamento di una proposta migliore. Il docente si riserva 15 giorni per approvare o rifiutare una proposta di progetto.

     3. Il gruppo rilascia una relazione stabile e definitiva (dal punto di vista degli autori) del lavoro, e la invia al docente via email. Il testo deve essere rilasciato in formato PDF. Eventuale codice deve essere invece rilasciato in file di testo.

     4. Il docente effettua una revisione della relazione, esprimendo commenti e critiche. Il docente si riserva 20 giorni per rilasciare tale revisione.

     5. Il gruppo rilascia entro la data della prova scritta dell'appello in cui vuole consegnare il progetto:
        • La versione finale del lavoro, ottenuta tenendo in debito conto la revisione del docente;
        • Una lettera in cui spiega come ha tenuto conto dei commenti e delle critiche.

     6. Il gruppo presenta il lavoro in un seminario pubblico della durata di 25 minuti (più 5 per le domande), durante il quale il lavoro viene valutato definitivamente. I seminari sono previsti in occasione della prova orale di ogni appello.

     Nota: a causa dell'alto carico di lavoro, il docente si riserva del tempo minimo per i passi di sua competenza. Si pregano gli studenti in procinto di laurearsi di valutare attentamente le tempistiche indicate e di iniziare per tempo il lavoro, onde evitare spiacevoli situazioni.

   Prova scritta

   • La durata della prova scritta è di 3 ore, e prevede la risposta a domande su tutto il programma del corso.
   • E' possibile consultare questa pagina per avere dettagli sulla tipologia e sulla complessità media di una prova d'esame.
   • La prova scritta è a "libri chiusi". Gli studenti non possono quindi utilizzare alcun tipo di materiale che possa essere considerato una fonte d'informazioni in qualunque modo correlate al programma d'esame.
     Si raccomanda agli studenti di seguire scrupolosamente questa regola, al fine di garantire una gestione corretta ed efficiente della prova. Severi provvedimenti saranno presi verso coloro che saranno sorpresi ad infrangerla.
     In particolare, gli studenti saranno invitati, all'inizio della prova scritta, ad allontanare da sè ogni effetto personale ad eccezione del proprio documento d'identità, penne, matite, gomme, righelli.
   • La valutazione della prova scritta verrà comunicata al singolo studente esclusivamente durante lo svolgimento della prova orale. Per ovvie ragioni legali, in nessun caso si anticiperà tale informazione via email, telefono, ecc. oppure ad una persona diversa dal candidato.

   Prova orale

   • La data della prova orale verrà pubblicata su questo sito web appena dopo la prova scritta. Tipicamente la data della prova orale si collocherà circa due settimane dopo quella della prova scritta.
   • La prova orale prende spunto dalla discussione del compito scritto, ma può coinvolgere tutto il programma d'esame.
   • La qualità della prova scritta e del progetto svolge un ruolo preponderante nella determinazione del voto finale. La prova orale deve essere considerata come una conferma della valutazione da parte del docente delle competenze acquisite dallo studente. In particolare, la prova orale non può sanare le penalità dovute ad una prova scritta o ad un progetto di scarsa qualità. Al contrario, essa svolgerà un ruolo decisivo nel giudizio finale, nel caso portasse all'accertamento di lacune nella preparazione dello studente che non erano emerse durante la valutazione delle altre prove.

6. Gli studenti sono tenuti a prenotarsi per sostenere la prova scritta usando il sistema di prenotazioni disponibile presso
   http://sispe.dis.uniroma1.it/.

   Agli studenti che si presentano alla prova scritta senza prenotazione non è garantita la possibilità di sostenere l'esame.

7. Gli studenti sono tenuti ad avere con sé (ed esibire su richiesta) un documento di identità valido per tutta la durata dell'esame. Agli studenti sprovvisti di tale documento non è consentito sostenere l'esame.