Testing, Debugging and Verification - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Testing, Debugging and Verification

Grundnivå | 7.5 hp | Kurskod: DIT082

Kursen ges inte som fristående kurs detta läsår, men kan ingå i program/kurspaket. För information kontakta institutionen.

Om kursen

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.

För mer information

http://gul.gu.se/public/cour...

Visa mer

Kursplan

DIT082

Studievägledning

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

Institution

Institutionen för data- och informationsteknik
41296 Göteborg

Besöksadress: Rännvägen 6 B

Sidansvarig: Pontus Sundén
Sidan uppdaterades: 2020-02-18 14:41

Tipsa en vän
Sidan i utskriftsvänlig version

Sidansvarig: Pontus Sundén|Sidan uppdaterades: 2019-01-10
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?