Forudsætninger/Anbefalede forudsætninger for at deltage i modulet

Kursusmodulerne Datamatarkitektur, Principper for parallelisme, samtidighed og styresystemer, Syntaks og semantik

Modulets indhold, forløb og pædagogik

Læringsmål

Viden

Om følgende teorier og metoder:
Test:

• klassiske testteknikker, modeller for formel test, softwareværktøjer til automatiseret test, testspecifikation, testgenerering og testudførelse

Verikation:

• formelle modeller for softwaresystemers adfærd, softwareværktøjer til verifikation

Færdigheder

• redegøre præcist og ved brug af fagets terminologi og notation for egenskaber for og adfærd af formelle modeller af softwaresystemer
• anvende fagets teknikker til at planlægge og gennemføre test

Kompetencer

• beskrive centrale aspekter af et softwaresystem ved brug af formelle modeller
• vurdere anvendeligheden af forskellige testteknikker på et softwaresystem i en given kontekst

Undervisningsform

Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen, jf. kapitel 3

Omfang og forventet arbejdsindsats

Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.

Eksamen

Prøver

Prøvens navn	Test og verifikation
Prøveform	Skriftlig eller mundtlig
ECTS	5
Bedømmelsesform	7-trins-skala
Censur	Intern prøve
Vurderingskriterier	Vurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854