Course Details for A.Y. 2017/2018
Name:
Advanced Verification and Validation / Advanced Verification and Validation
Basic information
Credits:
: Master Degree in Computer Science 3 CFU (b)
Degree(s):
Master Degree in Computer Science curriculum GSEEM Elective
Master Degree in Computer Science curriculum NEDAS Elective
Master Degree in Computer Science curriculum SEAS Elective
Master Degree in Computer Science curriculum UBIDIS Elective
Language:
English
Course Objectives
This course aims to study advanced concepts in the area of software performance and reliability analysis, such as the ones related to the interpretation of analysis results. The main objective is to achieve a deep knowledge of some of the most recent techniques to address advanced problems in this area.
Course Content
- Introduction to advanced problems in performance and reliability analysis
- The backward path : Interpretation of results and generation of feedback
- Performance Antipatterns
Learning Outcomes (Dublin Descriptors)
On successful completion of this course, the student should
- o Be aware of techniques that can address advanced problems in performance and reliability analysis of software systems.
o Be experienced in the integration of multiple tools for the analysis of software systems.
o Be able to design, solve and interpret models that reflect non-functional aspects of abstract architectures of software systems.
o Have effectively worked on team to deliver some group homework.
Prerequisites and Learning Activities
This is a very advanced course in the area of reliability and performance analysis of software systems, so it is assumed that students have already taken a course of performance and reliability basics, as well as a course on advanced software engineering.
Assessment Methods and Criteria
There is no formal pre-assessment, apart from Course pre-requisites. Fulfilment of such pre-requisites is verified by formative assessment. The formative assessment is performed via interactions between teacher and students during lectures. Students are aware since the beginning of the Course that they will be involved (in turns) in: Questioning and discussion, by means of open oral questions to the class or to single students; Summative Assessment Group project followed by an optional oral exam. The group project is aimed at: (1) verification of theoretical competences, and in particular of knowledge and comprehension of Course contents; (2) verification of skills in understanding and solving significant problems, and in explaining the proposed solutions, (3) capability of collaborative work. This is aimed at verifying the ability of application of techniques learnt during the Course, of analysis of problems and synthesis of suitable solutions, and of evaluation of alternative solutions. Criteria of evaluation will be: the level of knowledge and practical ability; the property of use of a technical/mathematical language; the clarity and completeness of explanations. The oral exam will occur within one week from the project delivery and will typically cover the areas of the project that need clarification. The oral test takes place for all students. Assessment breakdown: 100% end-of-semester summative assessment.
Notes
- Students taking this course are invited to contact the teacher (by email) before the course starts.
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: 19 settembre 2017, 12:21