DidaWiki

Indice

Programma e testi
Caso di studio 2019 e testi dei compiti
Casi di studio: materiale che possiamo usare durante il corso
Materiale dagli scorsi a.a.:

Introduzione al corso, materiale didattico
Modelli di ciclo di vita del sw
Analisi dei requisiti. Materiale: Vasa, PisaMover, Rebu. Esempi di documenti dei requisiti di provenienza industriale: eirene sys, MultiMahjong, Nasa's X-38 Fault Tolerant System Services.
Introduzione a UML e diagramma dei casi d'uso. Comprende un esercizio proposto: definire il diagramma dei casi d'uso e fornire le narrative delle chiavi magnetiche. Altri esercizi proposti. In vista della prossima lezione provare a farli. Requisito irrinunciabile (must have) è che almeno vi guardiate i tre casi di studio degli anni scorsi (Vasa, Rebu, Pisa Mover).
Lunedì 4 marzo, aula magna del polo Fibonacci “fratelli Pontecorvo” (Matricolandosi): lezione su Agile Fundamentals, tenuta da Davide Luca Roitero, Agile Coach di una azienda italiana di grandissime dimensioni.
Esercitazione sui casi d'uso Esercitazioni casi d'uso Completa
Diagrammi delle classi, con relativi esercizi
Esercitazione Classi
Diagramma di Attività e diagramma di Macchina a stati con esercizi proposti
Diagramma di sequenza
Esercitazione d.attività e d.stati, con nuovi Esercizi Proposti (prima verifica 17-18)
Esercitazione attività e stati (soluzione esercizi proposti)
Progettazione del sw (FYI: Note su delega vs ereditarietà)
Architetture sw
Architetture sw ed esercizi e altri homework (testo e approfondimento per il caso cops and robbers)
Esercitazione Architetture
Correzione della prima verifica intermedia
Progettazione di dettaglio: diagrammi di struttura composita e design patterns (factories e singleton) (contengono homeworks)
Esercitazione di progettazione di dettaglio e design patterns
Verifica & Validazione
progettazione di una sessione di prove: terminologia, scaffolding, metodi funzionali, metodi combinatori (NEW: completati metodi combinatori)
progettazione di una sessione di prove: metodi strutturali, test mutazionale, oracolo.
Esercitazione Testing (aggiornato 30.5 h12)
Esercitazione finale

Programma e testi

Informazioni essenziali dal sito della segreteria (Programma comune a corsi A e B).
Il materiale didattico è elencato nei lucidi della prima lezione. Di seguito il link al materiale online:
Dispensa di architettura e progettazione di dettaglio.
Dispensa sulla verifica (superata dal testo Pezzé Young, am comunque valido punto di riferimento per alcuni temi)
Binato, Fuggetta, Sfardini, Ingegneria del Software, Creatività e metodo.
Riassunto di UML 2.0 in 33 pagine illustrate, tutto quello che avreste sempre voluto sapere su UML e non avete mai osato chiedere.
Durante il corso useremo Visual Paradigm (editor UML), E' disponibile free la Community Edition: https://www.visual-paradigm.com/download/community.jsp
Copia di eventuali appunti o lucidi di materiale non coperto da libri/dispense verranno rese disponibili dopo la lezione.
Testi di alcuni casi di studio per le esercitazioni
Per la parte di verifica useremo i capitoli: 1-2-9-10-11-12-16-17 del libro “Software Testing and Analysis: Process, Principles, and Techniques” di Mauro Pezzè e Michal Young, nella versione free che potete richiedere alla pagina http://ix.cs.uoregon.edu/~michal/book/