Dettagli sull'Insegnamento per l'A.A. 2010/2011

Prerequisiti

Devono avere seguito il corso di Ingegneria del Software I, e sarebbe auspicabile (ma non obbligatorio) aver seguito anche Ingegneria del Software II.

Obiettivi

CONOSCENZE: Questo corso ha lo scopo di discutere concetti di Analisi e Testing (Model-Checking, Slicing, Deadlock analisi, Run-time modifications, black box Testing, Functional Testing, Conformance Testing), far vedere come tali concetti si applicano alle Architetture Software ed in generale a Sistemi a Componenti. Il corso, nella fase premilinare, dara’ anche concetti ed esempi pratici, di cosa sia e come si modelli una Architettura Software. Scopo del corso e’ anche quello di acquisire familiarita’ con tool che permettano, in pratica, di realizzare analisi e testing di sistemi a componenti CAPACITA' (sapere fare) Da un punto di vista del "saper fare", obiettivo principale di questo corso e’ quello di consentire al discente di acquisire una buona conoscenza sia teoria che pratica delle Architetture Software e del loro utilizzato nel campo dell’analisi. I discenti dovranno essere in grado di modellare una Architettura Software in modo appropriato e con tool appropriati; di analizzare la qualita’ di tale architettura e di produrre dei casi di test da essa. La realizzazione di progetti garantira’ l’applicazione dei concetti teorici sui dei casi di studio attentamente selezionati. COMPORTAMENTI (sapere essere) Alla fine del processo formativo lo studente del corso diviene consapevole di come alcune scelte architetturali si riflettano sull'implementazione, dei problemi che attualmente si stanno toccando per l’analisi ed il testing di sistemi a componenti.

Sillabo

• Sistemi a Componenti ed Architetture Software
• Elementi di testing, model-checking, ed altri tipi di analisi funzionale
• Elementi di performance, reliability, ed altri tipi di analisi non-funzionale
• Tecniche di Analisi funzionale di Sistemi a Componenti
• Tecniche di Analisi non funzionale di Sistemi a Componenti
• Tool di supporto alle varie tipologie di analisi

Testi di riferimento

• Boris Beizer, Black-Box Testing : Techniques for Functional Testing of Software and Systems , Wiley. May, 1995. ISBN: 0471120944    
• Bernardo, Marco; Inverardi, Paola, Formal Methods for Software Architectures Third International School on Formal Methods for the Desig , : Lecture Notes in Computer Science ,. (vol. Vol. 2804) 2003. ISBN: 3-540-20083-5 Available online in SpringerLink   
• C.U. Smith, Performance Engineering of Software Systems , Addison-Wesley, Reading, MA. 1990.    
• C. U. Smith, L.Williams, Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software , Addison-Wesley. 2001.    
• Beydeda, Sami, Testing Commercial-off-the-Shelf Components and Systems , Gruhn, Volker (Eds.). 2004. ISBN: 3-540-21871-8    

Modalità d'esame

For information, please visit the course home page

Risorse Internet

Aggiornamenti alla pagina del corso

• A.A. 2010/2011
• A.A. 2012/2013
• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019
• A.A. 2019/2020