Course Details for A.Y. 2010/2011

Course Objectives

KNOWLEDGE: . This course describes functional analysis and testing techniques (model-checking, slicing, deadlock analysis, run-time changes, black-box testing, functional testing, conformance testing), it shows how such techniques apply to Software Architectures, and (more in general) to Component-based Systems. This course, in the preliminary phase, will also provide practical examples on what a Software Architecture is. Goal objective is also to gain familiarity with software tools which make easier the application of analysis and testing techniques to component-based systems. BILITY (ability to do): . from the perspective of the "ability students will gain", main objective of this course is to acquire a good knowledge on both theory and practice of Software Architecture and their usage for functional analysis. At the end of this course, students will be able to correctly model a Software Architecture with the appropriate tools; to analyze the quality of such architecture and to produce appropriate test cases. Through projects, students will practice the theoretical concepts previously described.. BEHAVIOR (ability to be): . at the end of the learning process, the students will be conscious of how architectural choices impact the quality of the developed software system and how analysis and testing techniques can be applied at the architecture level.

Course Content

• Software Architecture
• Component-based systems
• Introduction to testing, model-checking and other functional analysis
• Functional analysis applied at the software architecture level
• From static to dynamic systems
• Tool support

Prerequisites and Learning Activities

students should have attended the "Ingegneria del Software I" course. Knowledge about topics discussed in the "Ingegneria del Software II" course is preferrable, even if not required.

Assessment Methods and Criteria

For information, please visit the course home page

Textbooks

• 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    

Internet Resources

Course page updates

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