Insegnamento mutuato da: B010484 - METODI DI VERIFICA E TESTING Laurea Magistrale in INGEGNERIA INFORMATICA
Lingua Insegnamento
normally in Italian, with course materials in English, can be in English if required by foreign students attending with regularity.
Contenuto del corso
METHODS FOR MODELING AND VERIFICATION OF CONCURRENT SYSTEMS WITH NON-DETERMINISTIC PARAMETERS;
A PRIMER ON DESIGN AND PROGRAMMING OF REAL TIME TASKSETS;
METHODS FOR MODELING AND QUANTITATIVE EVALUATION OF STOCHASTIC SYSTEMS;
SOFTWARE TESTING.
Obiettivi Formativi
understanding and practice in the use of modeling formalisms, solution techniques and tools, for the verification and evaluation of complex systems, with focus on concurrent and timed systems.
Prerequisiti
this class has no critical dependencies, but various elements of prior knowledge will help: a good understanding of programming practice is useful in the the section on testing; mathematics and probability help in the section on quantitative evaluation; a good understanding of general principles of software engineering helps in locating methods and techniques along the SW development process; some aptitude to formalization of concepts is relevant.
Metodi Didattici
lectures + exercitation lectures + development of an assignment, in autonomy with reviews.
Altre Informazioni
http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)
Modalità di verifica apprendimento
oral exam or discussion of an assignment.
Programma del corso
http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)