Test og verifikation

2020/2021

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 27,5 timer per ECTS, hvilket for denne aktivitet betyder 137,5 timer.

Eksamen

Prøver

Prøvens navnTest og verifikation
Prøveform
Skriftlig eller mundtlig
ECTS5
Bedømmelsesform7-trins-skala
CensurIntern prøve
VurderingskriterierVurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

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

 

Fakta om modulet

Engelsk titelTest and Verification
ModulkodeDSNSWFK112
ModultypeKursus
Varighed1 semester
SemesterEfterår
ECTS5
UndervisningssprogDansk og engelsk
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævn for Datalogi
InstitutInstitut for Datalogi
FakultetDet Tekniske Fakultet for IT og Design