Testning och verifikation av inbyggda system
7,5 hp
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.
