Dettagli sull'Insegnamento per l'A.A. 2019/2020
Nome:
Advanced Verification and Validation / Advanced Verification and Validation
Informazioni
Crediti:
: Master Degree in Computer Science 3 CFU (b)
Erogazione:
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
Lingua:
Inglese
Prerequisiti
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.
Obiettivi
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.
Sillabo
- Introduction to advanced problems in performance and reliability analysis
- The backward path : Interpretation of results and generation of feedback
- Performance Antipatterns
Descrittori di Dublino
Alla fine del corso, lo studente dovrebbe
- 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.
Modalità d'esame
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.
Note
- Students taking this course are invited to contact the teacher (by email) before the course starts.
Aggiornamenti alla pagina del corso
Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:
Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.
Ultimo aggiornamento delle informazioni sul corso: 19 settembre 2017, 12:21