Modulets indhold, forløb og pædagogik

Læringsmål

Viden

Den studerende skal efter gennemført projektmodul have viden om:

Test:  

• klassiske testteknikker og test teori

• testspecifikation

• modeller for formel test og model baseret test

• softwareværktøjer til automatiseret test, testgenerering og testudførelse

Verifikation:  

• formelle modeller for softwaresystemers adfærd

• softwareværktøjer til verifikation af modeller, herunder følgende teknikker:

  • statisk analyse

  • model checking

  • bounded model checking

  • kvantitativ model checking

• udfordringer ved og eksempler på hvorledes verifikation kan skaleres til industrielle applikationer

Færdigheder

• kunne redegøre præcist og ved brug af fagets terminologi og notation for egenskaber for og adfærd af formelle modeller af softwaresystemer

• kune anvende fagets teknikker til at planlægge og gennemføre test

Kompetencer

Den studerende skal ved syntese af fagets begreber og teknikker, kunne:

• 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. § 17

Omfang og forventet arbejdsindsats

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

Eksamen

Prøver

Yderligere informationer

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