Testing Concurrent and Parallel Software
5 credits
Syllabus, Master's level, 1DL570
A revised version of the syllabus is available.
- Code
- 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, 13 March 2014
- 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.
Learning outcomes
To pass 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.
Reading list
No reading list found.