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

The course is not given as a stand-alone course this academic year, but can be included in the program/course package. For information contact the department.

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


Tuition Fee

Please contact the department.
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: 2/18/2020 2:41 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?