Hoppa till huvudinnehåll
Länkstig

Testning, felsökning & verifiering

Kurs
Grundnivå
7,5 högskolepoäng (hp)
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Engelska
Start/slut
-
Ansökan öppen
-
Anmälningskod
GU-18604
Ansökan stängd

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örigheter och urval

Förkunskapskrav

För att vara behörig till kursen ska studenten ha avklarat minst 45 hp av en utbildning som syftar till en kandidatexamen inom Datavetenskap, Software Engineering, eller liknande. Inom dessa 45hp ska studenten ha avklarat: En 7.5hp kurs i diskret matematik (t.ex. DIT980) En 7.5hp kurs i imperativ/objektorienterad programmering (t.ex. DIT012 eller DIT953)

Urval

Högskolepoäng, max 225 hp.

För antagning till sommaren 2021 och framåt gäller följande urval: högskolepoäng, max 165 hp.