Skriv ut kursplan
Kursplan - Modellbaserad testning
Omfattning
2.5 hp
Kurskod
DVA458
Giltig från
Hösttermin 2017
Utbildningsnivå
Avancerad nivå
Successiv fördjupning
A1N (Avancerad nivå, har endast kurs/er på grundnivå som förkunskapskrav).
Huvudområde(n)
Datavetenskap
Akademi
Akademin för innovation, design och teknik
Fastställd
2017-01-31
Status
Denna kursplan är inte aktuell och ges inte längre
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Böcker
Practical model-based testing : a tools approach
Amsterdam : Morgan Kaufmann Publishers, cop. 2007 - xix, 433 s.
ISBN: 978-0-12-372501-1 LIBRIS-ID: 11330854
Software testing and analysis : process, principles, and techniques
[Hoboken, N.J.] : Wiley, c2008. - xxii, 488 p.
ISBN: 978-0-471-45593-6 LIBRIS-ID: 12918672
URL: Länk
Introduction to software testing
Cambridge : Cambridge University Press, 2008 - 322 p.
ISBN: 978-0-521-88038-1 (hbk.) LIBRIS-ID: 10875362
Syfte
Modellbaserad testning har blivit ett populärt sätt att testa mjukvarusystem . Syftet med kursen är att ge kunskap om hur man testar mjukvarusystem genom modeller. Kursen behandlar grundläggande teorier och praktiska användningsfall av modellbaserad testning.
Lärandemål
Efter avslutad kurs, ska studenten kunna:
1. beskriva och förklara vad modellbaserad testning är
2. implementera modeller i specifikationsspråk
3. förstå och tillämpa modelltäckningskriterier i modellbaserade testverktyg
4. utveckla testfall och använda modellbaserade testverktyg på ett programvarusystem.
Innehåll
Kursen omfattar följande ämnen:
1. Introduktion till modellbaserad testning
2. Metoder för modellbaserad testning
3. Grunder för modellering av kravspecifikationer
4. Grunder för modellering av mjukvara
5. Täckningskriterier för modeller
6. Modellbaserad testdesign
Kursen kommer att delas in i 3 moduler:
Modul 1: Grundläggande tekniker för Modellbaserad testning, (behandlar ämne 1 och 2)
Modul 2: Använda kravmodeller i Modellbaserad testning, (behandlar ämne 3 och 4)
Modul 3: Använda Utvärderingskriterier i Modellbaserad testning, (behandlar ämne 5 och 6)
Undervisning
Videoföreläsningar och inlämningsuppgifter.
Särskild behörighet
120 hp varav 80 hp inom teknik eller informatik vari ingår minst 30 hp programmering eller mjukvaruutveckling. Dessutom krävs 18 månaders dokumenterad arbetslivserfarenhet inom mjukvaruutveckling eller relaterad verksamhet.
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, (examinerar lärandemål 1), Betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL2), 0,5 hp, (examinerar lärandemål 2), Betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL3), 0,5 hp, (examinerar lärandemål 3), Betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL4), 1 hp, (examinerar lärandemål 4), 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
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar med 2 hp mot Validering och verifiering av mjukvara 7,5 hp.