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

Testing, Debugging and Verification

Bachelor's level | 7.5 credits | Course code: DIT083
Autumn 2020
50% Day
Göteborg
Period: 2 November 2020 - 17 January 2021
INSTRUCTION LANGUAGE: English
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 of techniques that cope with errors in programs.

Recurring themes are;
a) the identification of errors,
b) theiranalysis, 
c) their removal.

The course also provides an understanding of systematic ways to convince oneself that a program unit really does what it should.The course covers formal and informal methods, testing (terminology, coverage, unittests, a unit test framework), debugging (control, workflow, localisation, tools), formal specifications (pre-/postconditions, invariants), formal verification (logics, tool support).Throughout, the course is concerned with imperative programs in general, and object-oriented programs in particular.

After the course, student have understood - and are able to employ - the methods testing (trying to reveal the presence of errors in a systematic way), debugging (the act ofisolating and fixing errors), and verification (reasoning about programs in order toguarantee correctness).
All these methods only make sense in the presence of a specification of what the program is supposed to do.

More Information

https://studentportal.gu.se/...

Show more

Course Syllabus

DIT083

Requirements and Selection

Requirements: To be eligible for the course students should have successfully completed 45 hec of an education aiming at a bachelor degree within Computer Science, Software Engineering or equivalent. Within these 45 hec, the student should have successfully completed:

  • A 7.5 hec course in discrete mathematics (such as DIT980)
  • A 7.5 hec course in imperative/object-oriented programming (such as DIT012 or DIT953)

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 875 SEK
First payment: 17 875 SEK

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

Study Guidance

svl@cse.gu.se

Department

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
Share:

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?