ITA | ENG
B010818 - VERIFICATION AND TESTING METHODS
Main information
Teaching Language
Course Content
Learning Objectives
Prerequisites
Teaching Methods
Further information
Type of Assessment
Course program
Academic Year 2015-16
Coorte 2014 - Second Cycle Degree in COMPUTER SCIENCE
Course year
Second year -
Belonging Department
Mathematics and Computer Science "Ulisse Dini" (DIMAI)
Course Type
Single education field course
Scientific Area
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Credits
6
Teaching Hours
48
Teaching Term
⇒
Attendance required
No
Type of Evaluation
Final Grade
Course Content
show
Course program
show
Lectureship
Mutuality
Course teached as:
B010484 - METODI DI VERIFICA E TESTING
Second Cycle Degree in COMPUTER ENGINEERING
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.
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 !)
(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 !)
(where things happen despite UGov and Cineca !)