B010484 - METODI DI VERIFICA E TESTING

normally in Italian, with course materials in English, can be in English if required by foreign students attending with regularity.

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.

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.

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.

lectures + exercitation lectures + development of an assignment, in autonomy with reviews.

http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)

oral exam or discussion of an assignment.

http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)