Kursplan - Validering och verifiering av mjukvara
Omfattning
7.5 hp
Kurskod
CDT414
Giltig från
Hösttermin 2013
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
2013-02-13
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Böcker
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
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, övningsuppgift (INL2), 2 högskolepoäng, betyg 3, 4 eller 5
Laboration (LAB1), 1,5 högskolepoäng, betyg 3, 4 eller 5
Tentamen (TEN1), 4 högskolepoäng, betyg 3, 4 eller 5
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