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

The syllabus can be found at the Chalmers Student Portal.

Testing is by far the most practically used method to obtain confidence in the quality of a software product. Different techniques give a different amount of confidence. This course focuses on testing tools, techniques and methods that can be used to assess the quality and correctness of software systems. The course brings understanding on how these methods, techniques and tools can be used in a software development project to increase the software quality. In particular, the focus of the course is on model-based testing, that is how to design meaningful models useful for the (automatic) extraction of test cases from the models. Some testing tools for specific modeling languages will be used and applied to different examples.

Purpose and Objectives

The course provides the students with a background on how testing tools can be used to improve software quality, in particular automatic testing generation using model-based testing techniques.

Learning Outcomes

In order to pass the course the student should be able to:

Prerequisites

The student must have: (i) General programming knowledge in both imperative/object oriented and functional programming (for example, the student could have taken an introductory course on Java or C, and a course on Erlang or Haskell); (ii) Knowledge of propositional logic.

Lectures

All the "theoretical" lectures are given at the very beginning of the course. This is done so the students have the needed background for working on the mini-project. See the schedule in Lectures. The purpose of the lectures is not to cover all the material, but rather to highlight important issues concerning testing in general and model-based testing. Students might be asked to read some additional material to complement the lectures and be able to work on the details of the assignments.

Assignments

Practical work is done in groups, by developing a mini-project. Please refer to Assignments for more details on the course's assignments.

Final examination

To pass the whole course it is necessary to pass both, the mini-project and the written exam. The grade of the course is determined by the result in the written exam, which will be performed individually. It will comprise questions concerning the modules given in the course lectures, and it might also include tasks related to the course assignments and eventual guest lectures. See Examination for more details on the course's grading system.

Course language

The course will be taught in English.

This page was updated Mar 6 2015, 19:48 .