Testning, felsökning & verifiering
Göteborgs universitet, Göteborg · Informatik/Data- och systemvetenskap
- 7,5 hp
- Campus
- Halvfart
- Dagtid
Vad krävdes för att komma in?
HT 2026 krävdes minst 21,50 i BI, 1,50 på högskoleprovet i urval 2.
HT 2026 urval 2
BI och BII är gymnasiebetyg utan och med komplettering (högst 22,50). HP är högskoleprovet (högst 2,00). Ändringen jämför med samma termin året innan. Ordlista
Konkurrensen om platserna
HT 2026
7,6 sökande per antagen. Många söker flera kurser samtidigt, så alla tar inte en plats.
Kursstarter HT 2026
Kursen startar 2 gånger den här terminen. Siffrorna ovan gäller starten med flest sökande.
| Anmälningskod | Startperiod | Sökande | Antagna |
|---|---|---|---|
| GU-86068 | 2026P5 | 5 | 3 |
| GU-86069 | 2026P5 | 38 | 5 |
Antagningspoäng och söktryck över tid
Sökande
Visa siffrorna som tabell
| Termin | BI | BII | HP | Sökande | I första hand | Antagna |
|---|---|---|---|---|---|---|
| HT 2026 | 21,50 | – | 1,50 | 38 | 2 | 5 |
| HT 2025 | 27 | 5 | 6 | |||
| HT 2024 | 30 | 4 | 7 | |||
| HT 2023 | 43 | 8 | 15 | |||
| HT 2022 | 52 | 1 | 47 |
Om kursen
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.
Beskrivning från Susa-navet (Skolverket). Kontrollera alltid aktuella krav hos lärosätet. Kursens sida hos Göteborgs universitet
Alla urvalsgrupper HT 2026
| Grupp | Betydelse | Gräns | Antagna | Reserver |
|---|---|---|---|---|
| BI | Gymnasiebetyg utan komplettering | 21,50 | 2 | 7 |
| BII | Gymnasiebetyg med komplettering | – | 0 | 3 |
| HP | Högskoleprovet | 1,50 | 1 | 8 |
| BF | Betyg från folkhögskola | – | 0 | 1 |
| APGA | Särskild urvalsgrupp | 91 | 2 | 9 |
* betyder att alla behöriga i gruppen antogs och – att ingen antogs. Vid sen anmälan (SA) beror värdet på när anmälan kom in. Övriga koder kan variera mellan terminer och lärosäten, så fråga lärosätet vad de betyder.
Fler kurser i informatik/data- och systemvetenskap vid Göteborgs universitet
- Samhällets digitalisering: ForskningsfrontenGöteborgs universitet · Distans · ST 2026BI20,47HP1,20Sökande823
- Digitalisering, artificiell intelligens och immersiva teknologier i utbildningGöteborgs universitet · Distans · ST 2026BI–HP–Sökande339
- AI, utbildning och bedömningGöteborgs universitet · Distans · VT 2026BI–HP–Sökande235
- Design och AIGöteborgs universitet · Göteborg · HT 2025BI–HP–Sökande161
- DatasäkerhetGöteborgs universitet · Göteborg · VT 2026BI–HP–Sökande106
- Agil projektledningGöteborgs universitet · Göteborg · HT 2026BI19,66HP1,95Sökande95
Vilka söker och kommer in?
| Kön och ålder | Sökande | Andel | Antagna | Andel |
|---|---|---|---|---|
| Kvinnor | 19 | 50 % | 3 | 60 % |
| Män | 19 | 50 % | 2 | 40 % |
| 24 år eller yngre | 11 | 29 % | 0 | 0 % |
| 25–34 år | 19 | 50 % | 4 | 80 % |
| 35 år eller äldre | 8 | 21 % | 1 | 20 % |
Vanliga frågor
Vad krävs för att komma in på Testning, felsökning & verifiering vid Göteborgs universitet?
HT 2026 krävdes minst 21,50 i BI, 1,50 på högskoleprovet i urval 2.
Hur många sökte Testning, felsökning & verifiering HT 2026?
38 personer sökte, och 2 hade kursen som förstahandsval. 5 antogs i urval 2.
Källa: UHR:s antagningsstatistik. Siffrorna visas som UHR redovisar dem. Metod