Beskriva mått för att bedöma kvaliteten hos programvara ur ett funktionellt perspektiv.
Beskriva metoder för att generera testfall från olika källor (t.ex. beteendemodellering och testgenerering med hjälp av ändliga tillståndsmaskiner (FSM), modellering av indatarum med hjälp av kombinatoriska designer, kombinatorisk testgenerering).
2. Färdighet och förmåga
Tillämpa olika testtekniker, verktyg och bibliotek, inklusive AI-baserade, från testramverk (test harnesses) till assertionsbibliotek.
Utarbeta testplaner för programvara med tydligt definierade mål och syften (inklusive design, implementering och underhåll).
Kursinnehåll
Testning är en central aktivitet inom mjukvarutveckling, men det är ofta en utmaning att genomföra programvarutestning på ett effektivt och ändamålsenligt sätt. Målen med kursen är att deltagarna ska förstå hur testning kan förbättra programvarans kvalitet när den integreras effektivt i mjukvaruutvecklingsprocesser, förstå hur detta kan uppnås med hjälp av både etablerade och nya testtekniker, inklusive AI-baserade metoder, samt få praktisk erfarenhet av dessa.
Grundläggande begrepp som relaterar programvarutestning till kvalitet
Manuell testning
Automatiserad testning
Testning i kontinuerlig utveckling och leverans
Testning inom specifika områden (t.ex. AI-baserade system och säkerhetskritiska system)
Planering och ledning av testaktiviteter inom mjukvaruutvecklingsprocesser
Förutsättningar
För tillträde till kursen krävs 5 hp avklarade kurser inom objektorienterad programmering och 5 hp avklarad kurs inom programvaruutveckling, introduktion inom programvaruteknik, eller projektkurs.