Course teached as: B010484 - METODI DI VERIFICA E TESTING Second Cycle Degree in COMPUTER ENGINEERING
Teaching Language
normally in Italian, with course materials in English, can be in English if required by foreign students attending with regularity.
Course Content
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.
Learning Objectives
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.
Prerequisites
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.
Teaching Methods
lectures + exercitation lectures + development of an assignment, in autonomy with reviews.
Further information
http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)
Type of Assessment
oral exam or discussion of an assignment.
Course program
http://www.dsi.unifi.it/~vicario/Teaching/Verification_and_Testing_Metho/verification_and_testing_metho.html
(where things happen despite UGov and Cineca !)