Place: Refer to the schedule presented in Lectures for the lecture rooms concerning the work on the assignments.
The practical part of the course will be done in the form of mini-projects performed in groups. Each group will consist of 3 persons (exceptionally a group of 2 might be allowed). Each group will choose a software system to be tested (among those proposed by the teachers, or proposed by the group).
Each group will do the following activities when working on their mini-projects: perform manual tests, test using JUnit, analyse test coverage, write properties to perform property-based testing, develop a testing model using EFSM, and use ModelJUnit to perform MBT (including the development of an adaptor).
Besides the lectures presenting the theoretical content of the course serving as background knowledge to work on the mini-projects, there will be some tutorials on specific topics. Also, there will be meetings to discuss the progress of each group on their work on the mini-projects as well as few mandatory meetings with each group. These meetings will happen in the slots marked as "Group work and consultation" (see the "Lectures" tab in the menu above). The course assistant will communicate the specific meeting dates in advance to each group.
Deadlines: Each group will have to deliver 3 "reports" in the following dates:
Required Software: This will be communicated by the course assistant in due time. There will be some slots reserved for helping students to set their machines (refer to Lectures).
Description of mini-projects: A description of the proposed mini-projects, as well as other practical aspects related to the practical may be found the MBT 2015 mini-projects.This page was updated May 13 2015, 14:41 .