Search course

Use the search function to find more information about the study programmes and courses available at Chalmers. When there is a course homepage, a house symbol is shown that leads to this page.

Graduate courses

Departments' graduate courses for PhD-students.

​​​​
​​

Syllabus for

Academic year
DAT262 - Model-based testing  
Modellbaserad testning
 
Syllabus adopted 2019-02-21 by Head of Programme (or corresponding)
Owner: MPSOF
7,5 Credits
Grading: TH - Five, Four, Three, Fail
Education cycle: Second-cycle
Major subject: Computer Science and Engineering, Information Technology
Department: 37 - COMPUTER SCIENCE AND ENGINEERING


Teaching language: English
Application code: 24116
Open for exchange students: Yes
Maximum participants: 30

Module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 Summer course No Sp
0118 Written and oral assignments 3,0c Grading: TH   3,0c    
0218 Examination 4,5c Grading: TH   4,5c   03 Jun 2020 am L,  11 Oct 2019 am L   21 Aug 2020 am L

In programs

MPIDE INTERACTION DESIGN AND TECHNOLOGIES, MSC PROGR, Year 2 (elective)
MPSOF SOFTWARE ENGINEERING AND TECHNOLOGY, MSC PROGR, Year 1 (compulsory elective)

Examiner:

Robert Feldt

  Go to Course Homepage

Replaces

DAT260   Model-based testing DAT261   Model-based testing


Eligibility:


In order to be eligible for a second cycle course the applicant needs to fulfil the general and specific entry requirements of the programme that owns the course. (If the second cycle course is owned by a first cycle programme, second cycle entry requirements apply.)
Exemption from the eligibility requirement: Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling these requirements.

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

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 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

The course is examined by an individual written exam carried out in an examination hall and written assignments. Some of the assignments are carried out individually, some in small groups of normally 2-3 students, and some in larger groups.

During the course, the students get a chance to collect bonus points which can be used only at the first individual written exam after when the points were obtained.


Page manager Published: Thu 04 Feb 2021.