Kursplan - Validering och verifiering av mjukvara

Syfte

Mjukvaruverifiering och validering, speciellt mjukvarutestning, utgör en stor procent av utvecklingskostnaden och är en viktig aktivitet i industrin. Kursens mål är att ge fördjupade kunskaper om verifiering och validering av mjukvarusystem, med ett primärt fokus på mjukvarutestning. Studenten kommer att ta del av både "state of the art" i forskningsområdet och "state of the practice" i industrin.

Lärandemål

Efter avklarad kurs skall studenten kunna:
- förstå möjligheterna och begränsningarna i mjukvarutestning i samband med utveckling av felfri mjukvara
- tillämpa olika mjukvarutestningstekniker i utvecklingsprojekt
- analysera resultat av mjukvarutestning
- använda dem i test management syften

Innehåll

Kursen kommer huvudsakligen fokusera på mjukvarutestning. Ett antal olika metoder, och deras tillämpningsbarhet, kommer att undersökas tillsammans i samband med deras relevans för tillförlitlighetsmodellering. Kursens innehåll kommer att reflektera de senaste forskningsämnena samt industriella utmaningar.
Kursen inkluderar:
- Introduktion till mjukvaruverifiering och validering
- Översikt och klassificering av mjukvarutestning
- Funktionellt testing (black-box)
- Strukturalt testing (White-box)
- Integrationstesting
- Mutationstestning
- Modellbaserat testning
- Modellbaserat testning och testfall generering
- Tillförlitlighetsmodellering med fokus på testning
- Översikt av testningsprocess, verktyg, och test automation
Kursen kommer även att innehålla gästföreläsningar med industriella experter.

Undervisning

Föreläsningar, seminarium

Särskild behörighet

Minst 120 hp varav minst 60 hp datavetenskap vari ingår minst 7,5 hp i grundläggande programvaruteknik eller motsvarande. 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, (INL3), 2 hp, betyg Underkänd (U) eller Godkänd (G)
Laboration (LAB2), 1,5 hp, betyg Underkänd (U) eller Godkänd (G)
Tentamen (TEN2), salstentamen, 4 hp, betyg Underkänd (U) eller Godkänd (G)

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

Godkänd, underkänd