Course syllabus for Model-based testing

Course syllabus adopted 2020-02-20 by Head of Programme (or corresponding).

Overview

  • Swedish nameModellbaserad testning
  • CodeDAT262
  • Credits7.5 Credits
  • OwnerMPSOF
  • Education cycleSecond-cycle
  • Main field of studyComputer Science and Engineering, Software Engineering
  • DepartmentCOMPUTER SCIENCE AND ENGINEERING
  • GradingTH - Pass with distinction (5), Pass with credit (4), Pass (3), Fail

Course round 1

  • Teaching language English
  • Application code 24111
  • Maximum participants30
  • Open for exchange studentsYes

Credit distribution

0118 Written and oral assignments 3 c
Grading: TH		 3 c
0218 Examination 4.5 c
Grading: TH		 4.5 c
  • 02 Jun 2021 am L
  • 09 Okt 2020 am L
  • 20 Aug 2021 pm L

In programmes

Examiner

Go to coursepage (Opens in new tab)

Eligibility

General entry requirements for Master's level (second cycle)
Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling the requirements above.

Specific entry requirements

English 6 (or by other approved means with the equivalent proficiency level)
Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling the requirements above.

Course specific prerequisites

To be eligible for the course the student should have a bachelor degree in Software Engineering, Computer Science or equivalent, including a completed course in programming. Knowledge of data structures and propositional logic is recommended.


Aim

Testing is one of the most used verification and validation technique in industry. This course provides the students with a general background on testing techniques, with a focus on the theory and practice of model-based testing.

Learning outcomes (after completion of the course the student should be able to)

Knowledge and understanding:
  • Explain the distinction between software verification and software validation;
  • Describe the connection between software development phases and kinds of testing;
  • Describe and explain (a number of) different test methods, and use them in practical situations;
  • Describe and explain what model-based testing is.
  • Describe many different types of models and explain their relative merits
  • Describe and explain current research trends in automated testing

Skills and abilities: 
  • Construct models in the modeling and specification languages learned in the course
  • Construct appropriate and meaningful test and interpret and explain (to stakeholders) the results of the application of such test cases (using appropriate tools) to practical examples
  • Apply model based testing and automated testing technologies on realistic examples using relevant tools

Judgement and approach:
  • Exemplify and describe tools used for testing software, and use them and interpret their output
  • Identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.

Content

The course provides the students with a background on the theory and practice of model-based testing, including how testing tools can be used to improve software quality. General test techniques are explained with focus on model-based testing. Students will get hands-on experience in building models for testing and use these models for both testing and verification purposes.

Organisation

The course is provided in the form of modules, which combines lectures, discussions and supervised practical work with exercises in small groups (assignments). The students are expected to have prepared for and to be active during the whole module. The exercises are both theoretical and practical in nature.

Literature

- M. Utting and B. Legeard, Practical Model-Based Testing. Elsevier - Morgan Kaufmann Publishers, 2007. We will also provide other textbooks and research articles for different parts. See separate list.

Examination including compulsory elements