Visa allastudier.se som: Mobil

Testning, felsökning & verifiering

Göteborgs universitet
Sammanfattning
Fristående kurser (grundnivå)
Göteborg
7.5 hp
Deltid
Klassrum
Startdatum: Höst 2022 - Göteborg

Testning, felsökning & verifiering

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.

Förkunskaper

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) 

Göteborgs universitet

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 medarbetare gör universitetet till en stor och inspirerande arbetsplats, flödande av kunskap och idéer. Öppenheten är ett signum som genomsyrar verksamheten. Universitetet tar plats i debatten...


Läs mer om Göteborgs universitet och visa alla utbildningar

Hitta till utbildaren

Göteborgs universitet


Recensioner

Det finns inga recensioner för Testning, felsökning & verifiering

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön