Testning och verifikation av inbyggda system
Hela testprocessen adresseras globalt och testterminologi definieras.
Ett antal viktiga metoder för att härleda tester behandlas och deras lämplighet i olika stadier av utvecklingsarbete beskrivs.
Betydelsen av verktyg och automatisering diskuteras och ett verktyg för enhetstestning behandlas. Några av de behandlade teknikerna implementeras i verktyget.
Tekniker för modellbaserad testning introduceras och ett verktyg för att genomföra dem anges. Ett projekt genomförs där de introducerade verktygen och teknikerna används.
Doktoranderna får slutligen möjlighet att orientera sig inom den senaste tekniken inom området testning genom att studera och presentera några nya forskningspublikationer inom området.
Nivå:
Forskarnivå
Anmälningskod:
R3015
Behörighetskrav:
Grundläggande behörighet för utbildning på forskarnivå inklusive 60 hp på avancerad nivå inom datateknik eller annat område som är relevant för forskarutbildningsämnet datateknik och 7,5 hp programmering på avancerad nivå.
Startvecka:
Vecka: 36
Undervisningstid:
Dagtid
Studieavgift:
För sökande med medborgarskap utanför EU/EES och Schweiz: Mer information om studieavgift
Undervisningsspråk:
Undervisningen bedrivs på engelska.
