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

Content

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.

Instruction

Lectures, labs, project.

Assessment

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.