Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Software Verifikation (Q4) ( forår 2010 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: engelsk
Niveau: Kandidatkursus
Semester/kvarter: Q4
Timer per uge: 3
Deltagerbegrænsning: Ingen
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 14670

Formål

Deltagerne vil efter kurset have indsigt i moderne teknikker og værktøjer til programanalyse og -verifikation med henblik på at afsløre fejl i software. Kursets arbejdsform vil også træne deltagernes evne til at formidle og kommunikere faglige problemstillinger, og til at læse og forstå videnskabelige artikler.

Obligatorisk program

Gruppepræsentationer samt mindst 50% i gruppeprojektet.

Indhold

Vi skal studere konkrete værktøjer og teknikker til software verifikation ved at læse og diskutere forskningsartikler, samt udføre praktiske eksperimenter med værktøjerne.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

beskrive de basale ideer bag en række moderne værktøjer og teknikker indenfor emnet software verifikation.
anvende sådanne værktøjer til at finde fejl i mindre programmer.
evaluere værktøjerne i forhold til udtrykskraft, anvendelsesområde, automatisering, effektivitet, sundhed og fuldstændighed.