Testning, felsökning & verifiering

Antagningspoäng hösten 2026

Lägsta antagna betyg (BI)

21,50

Lägsta antagna högskoleprov (HP)

1,50

Lägsta antagna i senaste antagningen (hösten 2026) enligt UHR. Ingen garanti för nästa antagning.

Om utbildningen

Kursens huvudsyfte är att förse studenten med grundläggande förståelse för tekniker för att hantera fel i datorprogram. Återkommande teman är: a) att identifiera mjukvarufel, b) analys av dessa, c) att avlägsna fel. Kursen ger även förståelse för hur man systematiskt går tillväga för att försäkra sig om att en programvaruenhet verkligen gör det den ska. Kursen täcker formella och informella metoder, testning (terminologi, täckningsgrad,enhetstest, ramverk för enhetstester), felsökning (kontroll, arbetsflöde, lokalisering,verktyg), formell specifikation (pre-/postconditions, invarianter), formell verifiering(logik, verktyg). Kursen berör imperativa programmeringsspråk generellt, med mer specifikt fokus på objektorienterad programmering. Efter genomgången kurs ska studenten ha förstått – och ha förmåga att använda – metoder för testning (att systematiskt påvisa programvarufel), felsökning (processen att isolera och rätta programvarufel), samt verifiering (att formellt resonera om program för att garantera korrekthet). Samtliga av dessa metoder är beroende av precisa specifikationer för vad programmet ska göra.

Behörighet

För att vara behörig till kursen ska studenten ha avklarat minst 45 hp av en utbildning som syftar till en kandiadatexamen inom Datavetenskap, Software Engineering, eller liknande. Inom dessa 45 hp ska studenten ha avklarat: - En 7.5 hp kurs i diskret matematik (t.ex. DIT980) - En 7.5 hp kurs i imperativ/objektorienterad programmering (t.ex. DIT012 eller DIT953) Följande kunskapsnivå i Engelska krävs: Engelska 6/Engelska nivå 2 eller motsvarande från ett erkänt internationellt test, t.ex. TOEFL, IELTS.

Praktiskt

Start

2 november 2026

Slut

17 januari 2027

Språk

Engelska

Studietakt

50 %

Studieform

På plats i Göteborg

Studieavgift

18 125 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

GU-86069

Vanliga frågor

Vad krävs för att komma in på Testning, felsökning & verifiering vid Göteborgs universitet?

Vid antagningen hösten 2026 krävdes lägst meritvärde 21,50 i betygsgruppen (BI) eller 1,50 på högskoleprovet. Du måste också uppfylla behörighetskraven.

Hur lång är utbildningen?

7,5 hp, studietakt 50 %.

Går den på distans?

Nej, den ges på plats i Göteborg.

Vad betyder BI och HP?

BI är betyg utan komplettering och HP är högskoleprovet. Läs guiden.

Överblick

• Alla program och kurser vid Göteborgs universitet
• Alla kurser i Informatik/Data- och systemvetenskap