MBT: Model-Based Testing

Study period 4, 2015
Mon 23 March - Wed 27 May, 2015
Course codes: DIT848/GU and DAT260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

• Home
• Lectures
• Literature
• Course description
• Assignments
• Examination

Teachers and contact

• Gerardo Schneider (GS), gersch#at#chalmers.se (course responsible)
• Grégoire Détrez (GD), gregoire.detrez#at#gu.se (course assistant)

Student representatives

• Priyadarshini Chilaka (chilaka@student.chalmers.se)
• Nakyanzi lynnie Gwosuta (nakyanzi@student.chalmers.se)
• Annika Johansson (annikjoh@student.chalmers.se)
• (baxemyr@student.chalmers.se)

REMARK: Please check the page regularly to see later updates and news.

Note about registration procedure for GU students, and late registration for Chalmers students. If you are a GU student, remember tha you need to register through the Student Portal at GU.
For Chalmer students wanting to register now (late registration): please contact the Studieexpeditionen (student office - student_office.cse@chalmers.se).

News

• September 10: The solution of the re-exam is available from the following link: Solution re-exam August 2015. Note that the solution will be available in the above link till Thursday Sep 17. After that date, please contact the teacher if you want to see the solution.
• September 3: The re-exams have been corrected and are available at the Student Office at Johanneberg (EDIT building, 4th floor). In case you have any doubt about the correction of your exam, you are welcome to come to my office on Thu Sep 10. You are, however, requested to reserve a slot in the following doodle: Time slots for revising the MBT exam. Note that each slot is only 15 minutes, so I strongly recommend that you prepare in advance on what you want to discuss and come with concrete questions concerning the correction (please avoid generic questions of the style "How can I get more points?"). Please note that the doodle will be closed by Wed Sep 9 at noon. Send an email to me (before Wednesday noon) if the doodle is full and you want to discuss about your exam.
• June 8: The exams have been corrected and are now available at the study administration at Johanneberg (EDIT building, 4th floor). Note that the office will be closed from Friday June 12 till mid August, so pick up your exam by Thursday June 11 the latest if you want to have it before summer. In case you have any doubt about the correction of your exam, you are welcome to come to my office on Tuesday June 16. You are, however, requested to reserve a slot in the following doodle: Time slots for revising the MBT exam. Note that each slot is only 15 minutes, so I strongly recommend that you prepare in advance on what you want to discuss and come with concrete questions concerning the correction (please avoid generic questions of the style "How can I get more points?"). Please note that the doodle will be closed by Thursday June 11 at 14:30 (after the closing of the study administration). If the doodle is full and you want to discuss about your exam please send an email to Gerardo Schneider (before Thursday evening).
• June 6: The solution of the exam is available from the following link: Solution exam June 2015. Note that the solution will be available in the above link till Wednesday June 10. After that date, please contact the teacher if you want to see the solution.
• May 25: The slides of the QuickCheck lecture have been uploaded (available from the "Lectures" tab). Also, the solutions of two of the previous exams are available under the "Examination" tab (in section "Sample of Previous Exams").
• May 21: IMPORTANT! There is updated information about the written exam. Please see what is new by clicking at the "Examination" tab in the menu above.
• May 13: The slides of today's guest lecture (and a link to the github page containing the project) have been uploaded. Also the tutorial on ModelJUnit.
• May 13: Remember to sign up for the 2 test-realted experiments announced at the MBT Google group by Alex Gerdes (alexg#at#chalmers.se) and Bogdan Marculescu marculescu.bogdan#at#gmail.com). Your participation is crucial for the experiments to be successful (please contact Alex and Bogdan as soon as possible so they can plan the experiments based on the number of students).
• May 12: The slides of the talk by Gordon Pace have been uploaded (under the "Lectures" tab). Remember that on Wed May 13 at 10:15 (room Jupiter 121) there is a guest lecture on Behavioural-Driven Development by Pavel Rabetski (Senior Software Engineer at Volvo Telematics Department).
• May 9: Remember that on Mon May 11 at 10:15 (room Jupiter 121) there is a guest lecture on Runtime Verification (RV) by Gordon Pace (University of Malta). The first part of the lecture will be a gentle introduction to RV, while in the second part Gordon will be showing some connections with testing.
• May 4: Tutorial 4 on modeling has been uplaoded (available from the "Lectures" tab). Don't forget to sign up in the doodle for this assignment.
• May 1st: For the tutorial on Monday (May 4 at 10:15) on how to create a model for your SUT, we encourage you to read the paper by Rosaria and Robinson: Applying Models in your Testing Process.
• April 20: Lectures 7 and 8 have been uploaded. Also, note that there has been a slight modification in the schedule concerning tutorials (week 19). Besides, we will have two guest lectures: On Mon May 11 at 10:15 Gordon Pace (Assoc. Prof. at Univ. of Malta) will give an introductory lecture on Runtime Verification, and on Wed May 13 at 10:15 Pavel Rabetski (Senior Software Engineer at Volvo Telematics Dept.) will talk about Behavioral-Driven Development. The new schedule is available from the "Lectures" tab.
• March 31: Lectures 5 and 6 have been uploaded (see the "Lectures" tab). Some of your colleagues will post, to the course's Google group, the pictures of the solutions of the EFSM exercise presented in lecture 6.
• March 25: Note that the lecture on Mon March 30 will start at 8:45 instead of at 8:00.
• March 25: The Fire system is working now. You can proceed to register your groups.
• March 25: Lectures 0 till 4 have been uploaded (see the "Lectures" tab).
• March 23: There is a mailing list for the course, to which we will send important announcements and information. Please subscribe at https://groups.google.com/forum/#!forum/mbt2015.
• March 23: A description of the practical part of the course (mini-projects) has been uploaded (see the "Assignment" tab). Please note that every members of the group must create an account in the Fire system (will be available from Tue March 24). The first one to register creates a new group and shares the group password with the other two. Once this is done, you can submit the first lab: create a simple text file (no .doc!) with your chosen SUT and the names of the three group members. Deadline: Monday March 30. See MBT 2015 mini-projects for more details.