elenco   
        corso   

Ingegneria del Software: Controllo di Qualitą

(Corso di Laurea in Informatica (quinquennale))

Codice: 4I080Crediti: 6Semestre: 1Sigla: ISQ 

Docente

Vincenzo Ambriola   ambriola@di.unipi.it  Home Page di Vincenzo Ambriola  Stanza 320  Tel. 0502212751

Prerequisiti

Ingegneria del software I

Obiettivi di apprendimento

Il corso affronta il problema del controllo di qualità dei sistemi software.

Descrizione

Il corso affronta il problema del controllo di qualità dei sistemi software, mediante strumenti di analisi statica e dinamica.
È prevista una parte in cui si affronteranno i problemi del controllo di qualità in riferimento agli standard internazionali.

English Description

The course presents the notion of quality control for software systems, based on tools of static and dynamic analysis. The course has a part specifically aimed to the issue of quality control in industrial contexts.

Programma

Teoria rappresentazionale della misurazione. Proprietą delle misure; grandezza, lunghezza. Proprietą delle misure; complessitą, coesione, accoppiamento. Esempi di misure di grandezza, complessitą, coesione.
Punteggio funzionale. Il processo di misurazione del punteggio funzionale. Stima dei costi: la metodologia CoCoMo.
Ispezione del software: la metodologia di Fagan. Analisi dinamica: progettazione dei test. Analisi dinamica: valutazione e terminazione dei test.
Qualitą e industria. Qualitą totale e qualitą definita da norme. ISO 9000. Qualitą del prodotto. ISO 9126.
Ore lezione: 25Ore esercitazione: 15   

Bibliografia

N.E. Fenton, S.L. Pfleeger, Software Metrics: A Rigorous & Practical Approach, Second Edition, International Thompson Computer Press, London, 1997. Capitoli 1 e 2.
L.C. Briand, S. Morasca, V.R. Basili, Property-Based Software Engineering Measurement, IEEE Transactions on Software Engineering, (22:1)68-85, Gennaio 1996.
H. Sedehi, Ingegneria economica del software, Apogeo, Milano, 1997. Capitolo 5.
J.D. Musa, A.F. Ackermann, Quantifying Software Validation: When to Stop Testing?, IEEE Software, (6:3)19-27, Maggio 1989.
G.A. Cignoni, M. De Risi, Il test e la qualitą del software, Edizioni IlSole24Ore, Milano, 1998.
T. Gilb, D. Graham, Software Inspection, Addison Wesley, London, 1993. Capitoli 1, 2, 3, 4, 5 e 6.
T. Conti, Come costruire la Qualitą Totale, Sperling & Kupfer, Milano, 1992. Capitolo 1.
UNI EN ISO 9001, Modello per l'assicurazione della qualitą nella progettazione, sviluppo, fabbricazione, installazione, ed assistenza, Norma Italiana, Dicembre 1994.
ISO 9126 Part 1, Quality characteristics and subcharacteristics, Draft Standard, Novembre 1997.

Modalità di esame

Seminario di approfondimento e prova orale

Ulteriore pagina web del corso: http://www.di.unipi.it/~ambriola/iscq/radice.htm


home


email