Testing, Debugging and Verification - University of Gothenburg Till startsida
To content Read more about how we use cookies on gu.se

Testing, Debugging and Verification

Bachelor's level | 7.5 credits | Course code: DIT082
Autumn 2019
50% Day
Period: 4 November 2019 - 18 January 2020
2 Closed GU-18641
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

The main aim of the course is to provide a basic understanding for techniques that cope with errors in programs. Reoccurring themes are a) the identification of errors, b) their analysis, and c) their removal. The course also provides an understanding of systematic ways to convince oneself that a program unit really does what it should. After the course, students should have understood - and be able to employ – the methods testing (trying to reveal the presence of errors in a systematic way), debugging (the act of isolating and fixing errors), and verification (reasoning about programs in order to guarantee correctness). All these methods only make sense in the presence of a specification of what the program is supposed to do. In the course students will also learn how to use precise methods for writing requirements.

More Information


Show more

Course Syllabus


Requirements and Selection

Requirements: To be eligible for the course students should have successfully completed: one year of an education aiming at a bachelor degree within Computer Science or equivalent; a course in discrete mathematics (such as MMGD10); a course in object oriented programming (such as DIT011 or DIT950).

Selection: Selection is based upon the number of credits from previous university studies, maximum 225 credits.

Tuition Fee

Application fee: 900 SEK
Full course cost: 17 587 SEK
First payment: 17 587 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

Eirin Bakken, tel: 031-772 1709, e-post: svl@cse.gu.se


Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Pontus Sundén
Last update: 6/15/2018 12:12 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?