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?

Denna text är utskriven från följande webbsida:
http://utbildning.gu.se/education/courses-and-programmes/course_detail/?courseid=DIT083
Utskriftsdatum: 2020-07-07