Course Details for A.Y. 2010/2011
Name:
Analisi e Testing di Sistemi a Componenti / Analysis and Testing of Component-based Systems
Basic information
Degree(s):
Laurea Magistrale in Informatica 1° anno
Language:
Italian
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
Course page updates
This course page is available (with possible updates) also for the following academic years:
To read the current information on this course, if it is still available, go to the university course catalogue .
Course information last updated on: 13 ottobre 2010, 09:52