Ingegneria del software T1/2006-2007

Ingegneria del software, anno 2006/2007

Ingegneria del software è un corso complementare per la laurea in comunicazione digitale e altri corsi di laurea e fondamentale per il corso di informatica.

Docenti

Carlo Bellettini
e-mail: carlo.bellettini@unimi.it

Orari delle lezioni

Martedi	Venerdi
11:45-13.15 Aula 202	11:45-13.15 Aula V1

Oltre alle lezioni di teoria potrenno esserci delle lezioni in laboratorio per vedere nella pratica i concetti presentati a lezione (con cadenza di 1/2 volte al mese).

Orario di ricevimento del docente

mercoledi'
14:30 Stanza P116

Sito del corso

Se andate qui trovate tutto il materiale necessario,il forum e il wiki ufficiale del corso. Per tener separate le cose spiegate quest'anno dagli altri il wiki non ufficiale verrà redatto qui.

Materiale didattico

primo libro:
- Titolo: "Sofware Engineering",II Edizione
- Autori: Ghezzi,Jazayeri,Mandrioli
- Casa Editrice: Prentice Hall
- prezzo: 46 euro

Secondo libro:
- Titolo: "A handbook of software and system engineering"
- Autore: Endres,Rombach
- Casa editrice: Addison Wesley

Ricordo che vi sono le lezioni videoregistrate di due anni fa,i cui argomenti vengono ripresi abbastanza similmente quest'anno. In più ci sono le slides sul sito del corso. Per vedere le videolezioni ci si logga con l'account del SILAB (se vi siete dimenticati la password dovete recarvi fisicamente in SILAB per cambiarla). Valgono i lucidi del 2005 a meno che non venga specificato diversamente nel wiki.

Modalità d'esame

Sono previsti 2 compitini e a seconda di come vengono fatti,un tot di minuti all'orale (se la media è sufficiente per tutti e sono ad un livello considerato buono dal prof. l'orale può essere omesso). Verranno messi a disposizione molteplici date di appelli (circa 1 ogni mese).

Editaggio a cura di: Voodoo 17:40, 4 Ott 2006 (CEST)

Diario del corso

Lezione di Martedì 3-10-06

Abbiamo visto le principali definizioni di "ingegneria del software". In generale lo sviluppo di software è un processo che prevede innanzitutto la comprensione ci cosa vogliamo fare e del relativo contesto di utilizzo. Oltre a ciò servono delle metriche oggettive che mi diano la percentuale di raggiungimento dei miei obiettivi. La manutenzione del software occupa spesso il 70% dell'impegno conferito ai progetti.
Oltre a ciò vi sono aspetti manageriali e vincoli (temporali,finanziari,ecc) da rispettare. E' un campo della computer science che ha per oggetto il software. Mentre la scienza tende a confermare la correttezza di teorie attraverso modelli,ipotesi ed esperimenti, l'ingegneria del software attraverso metodologie e relative implementazioni tenta di definire l'utilità di ciò che si sta facendo.

Cenni storici

30/40 anni fa lo sviluppo del software era così caratterizzato:

processo artigianale;
richiedeva poche risorse di calcolo;
solitamente vedeva l'uso di computer da parte di scienziati,fisici per implementazioni di loro teorie;
problemi ben formalizzati (spesso autoproducevano il software);
nessuna relzione (e relative problematiche) con i clienti;
vita breve dei programmi (assolta la loro utilità,il ciclo di vita del software si esauriva);

I computer sono poi diventati economici e da attività di computing stretto si passa alla gestione dell'informazione.

separazione tra sviluppatore e cliente;
problemi comunicativi con altre persone (team interni e clienti esterni);
nascita di team di sviluppo in cui diverse tipologie di esperti lavorano parallelamente ad un problema;

Categorie di qualità del prodotto finale e del processo di sviluppo

Possono essere legate al processo di sviluppo o al prodotto finale,riguardano la visibilità interna (visibile agli sviluppatori) ed esterne (visibili anche ai clienti). Le qualità di entrambi gli aspetti si influenzano a vicenda: è facile che se ho un buon processo di sviluppo,ciò influisca positiviamente sulla qualità finale del prodotto e di conseguenza anche sulla visibilità esterna. Questo può esser dato anche da una visione interna ottimale (buona scrittura del codice,sua organizzazione e documentazione( che automaticamente può riflettersi positivamente sull'esteriorità stessa del prodotto.

Obiettivi

Affidabilità: un software può esser definito affidabile se produce effetti voluti o comunque degli scostamenti lievi da quello che mi aspetto. Esistono metodi statistici per definirla. Questi "scostamenti" potrebbero anche essere conseguenze spiacevoli per il sistema dell'utente (errori,crash,perdita d'informazione,spyware,ecc),è per questo che spesso nelle licenze software non vi è alcuna responsabilità per gli sviluppatori e l'azienda.
correttezza: si riferisce a quanto il prodotto segua le specifiche concordate con il cliente. Spesso le specifiche non sono in un linguaggio formalizzato,sono quindi base di interpretazioni differenti e contestazioni.
robustezza: capacità del software di reagire a imprevisti. Un software potrebbe non essere robusto anche se corretto ed affidabile. Influenza questo parametro anche lo sviluppo e manutenzione del software al cambio del team di sviluppo (quante difficoltà si incontrano nel portare avanti il progetto).
prestazioni: possono essere effettuate delle misurazioni empiriche per identificare dove val la pena di lavorare per migliorare le prestazioni,oppure l'analisi della complessità degli algoritmi o simulazione con modelli. Un punto a favore è la crescita di potenza dei macchinari e l'abbassamento dei costi relativi. rientrano qui anche la scalabilità (capacità di trattare problematiche complesse più grandi di quelle pronosticate) e i tempi di risposta che influenzano l'usabilità del prodotto.
usabilità: facilità d'uso di un software. E' molto variabile a seconda della tipologia dell'utete,è per questo che bisogna identificare con precisione i nostri utilizzatori. L'usabilità è quantificabile attraverso esperimenti.
verificabilità: correttezza del prodotto (visione interna) e mostrare lo stato di avanzamento di sviluppo al cliente.

Lezione venerdi 6 ottobre

Manutentibilità

Nel software non c'è un usura "fisica" come per gli oggetti. Può essere principalmente di due/tre tipi:

correttiva: correzione di una parte del progetto perchè vi sono delle discrepanze con le specifiche.
adattiva: riadattamento di qualcosa già esistente,spesso perchè cambiano i requisiti e il contesto del prodotto e il software si deve adattare a nuove regole.
perfettiva: il software va bene così com'è,voglio aggiungerci delle funzionalità (plugins,add-ons,ecc),c'è la voglia di migliorarlo,perfezionarlo.

Riusabilità

Prendo una parte del progetto e la riuso per un altro. Si affianca ad un altro progetto separato,non perdo tempo a risviluppare tutto e sono abbastanza certo sia affidabile,in quanto precedentemente funzionava. Comunque a volte la riusabilità può portare a costi maggiori in termini di tempo/fatica se importo parti di software incomplete che richiedono un'integrazione "studiata" al progetto.

Produttività

Nasce il problema di misurare quantitativamente la produttività degli sviluppatori nel processo di sviluppo. Spesso sono unità di misura adatte per ragionare e quantificare i lavori dal punto di vista manageriale.

linee di codice/unità di tempo: bisogna tener però presente la qualità del codice e se il confronto fra due sviluppatori,per esempio,avviene su un medesimo lavoro oppure sono lavori di diversa natura (che potrebbero richiedere tempi diversi di sviluppo e modalità diverse);
punti funzione: si pesa opportunatamente la complessità del progetto partendo dalle specifiche assegnando alle sue varie parti una certa complessità che permette un raffronto con quello realmente impiegato dagli sviluppatori;
sfrozo mesi/uomo;

Tempismo

Capacità di porre sul mercato il prodotto al tempo giusto o di rispettare i tempi contrattuali in relazione ad un cliente (diventa un metro di giudizio). Se non ho a che fare con dei clienti ma con un prodotto generale (Office per es.) devo capire quando metterlo sul mercato in relazione ai possibili concorrenti. Spesso non essendo pronti tecnologicamente (si è arrivati in ritardo su una certa tecnologia) le grandi aziende promuovono software che ancora non hanno prodotto,costruendo un'immagine atta a far sapere che presto ci sarà il tal software. Oppure vengono promossi progetti che poi non troveranno realtà (vaporware).

Principi influenti sulla qualità del prodotto

Rigore e formalità: avere un approccio rigoroso che ci guidi nel processo di produzione è uno strumento che ci consente di fare meno errori. Per formalismo intendiamo qualcosa assente da ambiguità,di capibile da una macchina per esempio,cosa che normalmente non avviene nella comunicazione con l'utente. L'uso di formalità nelle specifiche dà benefici,riduce gli errori e li identifica prima (importante perchè identificarli tardi vuol dire fare più fatica ad estirparli - più dipendenze dagli errori commessi,quindi più carico di lavoro - ).
Separazione degli aspetti: permette di ridurre la complessità dello sviluppo separandone gli aspetti. Si identifica la responsabilità dei gruppi di lavoro per le varie parti,scandendo il ciclo di vita temporale del software (cosa va fatto in un certo momento),ci si concentra su singole qualità e le si implementa,ricordandosi di sviluppare molteplici viste per i vari "esperti" (il modo do vedere le cose dello sviluppatore è doverso da quello del cliente così come è diverso da quello dello sviluppatore). Le specifiche descrittive si concentrano su che cosa va fatto,quelle operazionali su come va fatto. Sicuramente è impensabile l'utilizzo di un'unica vista universale valida per ogni cosa;
Modularità: posso adottare il top-down o bottom-up,l'importante è riuscire a capire i moduli indipendentemente dagli altri,il che mi consente si concentrarmi solo su una parte anche per debugging e manutenzione. La correttezza della modularità è definita da metriche di:
- coesione: tutti gli elementi di un modulo sono collegati per far qualcosa in comune,non comprende nulla di non necessario;
- disaccoppiamento: tutto ciò che serve è lì dentro e ci si appoggia all'esterno per il resto che è necessario. Una struttura è stabile se la coesione è forte e il disaccoppiamento è basso (concentro tutto quel che mi serve con poche dipendenze esterne).
Information hiding:capacità di nascondere le cose in un modulo,rende il modulo adattabile e più semplicemente modificabile (gli aspetti invisibili al resto possono essere modificati senza ripercuotersi sul resto,per esempio modifiche di metodi/variabili private di una classe). Solo ciò che è nascosto può esser cambiato senza rischio.
Astrazioni: livelli costruiti su quelli sottostanti in gerarchia.
Anticipazioni di cambiamento: progettare pensando in avanti,future estensioni al software.

Modello ciclo di vita del SW

Identificare le attività di sviluppo e i tempi giusti di implementazione,quando interromperle per iniziarne una nuova ,ecc. Lo studio di fattibilità si pone delle domande:

si è in grado di fare il progetto?
ci torna un guadagno?
cosa serve per farlo?

Insomma si preoccupa di requisiti e conseguenze tecnologiche ed economiche. Si necessita anche dello studio della concorrenza,nel caso esistano già progetti simili. La stima di costi e tempi di sviluppo insieme alle attività di ricerca precedenti sono spesso intraprese all'inizio del progetto quando ancora non si sa fondamentalmente nulla. Spesso sono esperti esterni all'azienda a compiere tale studio.

Lezione di martedi 10 ottobre

Analisi specifiche requisiti

Capire cosa vuole l'utente e specificarlo nella documentazione (interviste al cliente). Possibili problemi di comunicazione fra figure diverse (interne/esterne rispetto al prodotto,per questo si necessita lo sviluppo di viste differenti "del problema"). Coloro che interagiscono con l'applicazione o ne sono in qualche modo influenzati sono definiti Stakeholders.
Alla fine si arriva al documento contrattuale e alla definizione del manuale.

Progettazione

come realizzare i requisiti (possibile riutilizzo di situazioni precedenti analoghe o simili);
Creazione di moduli indipendenti o comunque creare un possibile aggancio con le funzionalità esterne (implementazione di moduli stub ancora da definire). In questo modo si arriva a definire dei moduli separati incastrabili potenzialmente l'uno con l'altro.

Integrazione e Test