Kursplan - Automatisk testgenerering

Syfte

Automatisk testgenerering har blivit ett populärt sätt att testa mjukvarusystem. Syftet med kursen är att ge kunskap om hur man testar mjukvarusystem genom helautomatiska metoder. Kursen behandlar grundläggande teorier och praktiska användningsfall av automatisk testning.

Lärandemål

Efter avslutad kurs, skall studenten kunna:  
1. beskriva och förklara vad automatisk testgenerering är.  
2. implementera testgenerering för ett programmeringsspråk.  
3. förstå och tillämpa täckningskriterier förstå och tillämpa täckningskriterier för att utveckla testfall i ett testverktyg och använda testgenereringsverktyg på ett programvarusystem.

Innehåll

Kursen omfattar följande ämnen:  
- automatisk testgenerering  
- Metoder för automatisk testgenerering  
- Grunder för täckningskriterier  
- Grunder för slumpmässig testgenerering.  
- Täckningskriterier för mjukvara  
- Automatisk Modellbaserad testdesign  

Kursen kommer att delas in i 3 moduler:  
● Modul 1: Grundläggande Tekniker för Automatisk Testgenerering  
● Modul 2: Använda Testdesign i Automatisk Testgenerering
● Modul 3: Använda Utvärderingskriterier i Automatisk Testgenerering

Särskild behörighet

120 hp varav 80 hp inom Datavetenskap och/eller Datateknik. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från kravet på Svenska B/Svenska 3.

Examination

Inlämningsuppgift (INL1), 0.5 hp, betyg Underkänd (U) eller Godkänd (G) (examinerar lärandemål 1)
Inlämningsuppgift (INL2), 0.5 hp, betyg Underkänd (U) eller Godkänd (G) (examinerar lärandemål 2)
Inlämningsuppgift (INL3), 0.5 hp, betyg Underkänd (U) eller Godkänd (G) (examinerar lärandemål 2)  
Inlämningsuppgift (INL4), 1 hp, betyg Underkänd (U) eller Godkänd (G) (examinerar lärandemål 3)

En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning.

Betyg

Tvågradig skala