This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
University of Gothenburg
Testing, Debugging and Verification
<p>The main aim of the course is to provide a basic understanding of techniques that cope with errors in programs.</p> <p>Recurring themes are;<br /> a) the identification of errors,<br /> b) theiranalysis, <br /> c) their removal.</p> <p>The course also provides an understanding of systematic ways to convince one…
- Higher education
- Information unavailable
- 4 November 2024
- Information unavailable
- Information unavailable
- 50 %
Overview
<p>The main aim of the course is to provide a basic understanding of techniques that cope with errors in programs.</p> <p>Recurring themes are;<br /> a) the identification of errors,<br /> b) theiranalysis, <br /> c) their removal.</p> <p>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.<br /> <br /> 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).<br /> All these methods only make sense in the presence of a specification of what the program is supposed to do.</p>
Admission scores
Entry 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)
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2024-11-04
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.gu.dit084.48645.20242
- Last checked
- 2026-09-23T10:36:42.164498+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.gu.dit084.48645.20242
- Offering identity in the source
- e.uoh.gu.dit084.48645.20242
- Education-form source code
- HS
- Education code in the source
- DIT084
- Change time according to the source
- 2024-03-04T11:57:19
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.