Indice

  1. Introduzione al corso, materiale didattico
  2. Modelli di ciclo di vita del sw
  3. 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.
  4. 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).
  5. 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.
  6. Esercitazione sui casi d'uso Esercitazioni casi d'uso Completa
  7. Diagrammi delle classi, con relativi esercizi
  8. Esercitazione Classi
  9. Diagramma di Attività e diagramma di Macchina a stati con esercizi proposti
  10. Diagramma di sequenza
  11. Esercitazione d.attività e d.stati, con nuovi Esercizi Proposti (prima verifica 17-18)
  12. Esercitazione attività e stati (soluzione esercizi proposti)
  13. Progettazione del sw (FYI: Note su delega vs ereditarietà)
  14. Architetture sw
  15. Architetture sw ed esercizi e altri homework (testo e approfondimento per il caso cops and robbers)
  16. Esercitazione Architetture
  17. Correzione della prima verifica intermedia
  18. Progettazione di dettaglio: diagrammi di struttura composita e design patterns (factories e singleton) (contengono homeworks)
  19. Esercitazione di progettazione di dettaglio e design patterns
  20. Verifica & Validazione
  21. progettazione di una sessione di prove: terminologia, scaffolding, metodi funzionali, metodi combinatori (NEW: completati metodi combinatori)
  22. progettazione di una sessione di prove: metodi strutturali, test mutazionale, oracolo.
  23. Esercitazione Testing (aggiornato 30.5 h12)
  24. Esercitazione finale

Programma e testi

  1. Informazioni essenziali dal sito della segreteria (Programma comune a corsi A e B).
  2. Il materiale didattico è elencato nei lucidi della prima lezione. Di seguito il link al materiale online:
  3. Dispensa di architettura e progettazione di dettaglio.
  4. Dispensa sulla verifica (superata dal testo Pezzé Young, am comunque valido punto di riferimento per alcuni temi)
  5. Binato, Fuggetta, Sfardini, Ingegneria del Software, Creatività e metodo.
  6. Riassunto di UML 2.0 in 33 pagine illustrate, tutto quello che avreste sempre voluto sapere su UML e non avete mai osato chiedere.
  7. Durante il corso useremo Visual Paradigm (editor UML), E' disponibile free la Community Edition: https://www.visual-paradigm.com/download/community.jsp
  8. Copia di eventuali appunti o lucidi di materiale non coperto da libri/dispense verranno rese disponibili dopo la lezione.
  9. Testi di alcuni casi di studio per le esercitazioni
  10. 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/

Caso di studio 2019 e testi dei compiti

Casi di studio: materiale che possiamo usare durante il corso

Cops&Robbers
Grande distribuzione
Alternatore

Materiale dagli scorsi a.a.:

Materiale a.a. 17/18

Materiale a.a. 16/17

Testi dei compiti A.A 15-16.

Testi dei compiti A.A 14-15.