Testing Concurrent and Parallel Software

5 credits

Syllabus, Master's level, 1DL570

Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1F, Technology A1F
Grading system
Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
Finalised by
The Faculty Board of Science and Technology, 30 August 2018
Responsible department
Department of Information Technology

Entry requirements

120 credits including 60 credits in computer science including Language Abstractions for Concurrent and Parallel Programs and Software Testing and Maintenance. Proficiency in English equivalent to the Swedish upper secondary course English 6.

Learning outcomes

On completion of the course, the student should be able to:

  • explain and identify common types of problems in concurrent and parallel programs, including functional as well as performance problems,
  • apply different techniques for testing concurrent programs (both statically and dynamically) for variuos correctness properties,
  • use tools to test and debug concurrent programs,
  • debug and find errors and performance bottlenecks in programs,
  • apply methodology and strategies for software testing in order to cover all relevant parts of program functionality


Introduction to concurrency errors and their characteristics. Techniques for detecting concurrency errors ie static analysis, systematic testing, model checking approaches. Tools for detecting concurrency errors. Applying tools and techniques to realistic programs.


Lectures, labs, project.


Written and oral presentation of assignments and participation and oral presentation of a project.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.

No reading list found.