De studerende vil få kendskab til en eller flere avancerede teknikker til program analyse - dette komplementerer deres tidligere kendskab til analyse teknikker og giver dem baggrund for at vurdere hvilken tilgangsvinkel der skal foretrækkes i en given situation.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forklare de basale begreber introduceret i kurset;
finde små eksempler som kan bruges til at forklare præcist, hvordan de behandlede metoder fungerer;
tilpasse de behandlede metoder på udvalgte punkter;
diskutere de behandlede metoder og påvise forskelle og ligheder mellem dem;
sammenligne de behandlede metoder, også med hensyn til deres styrker og svagheder;
designe og konstruere et software værktøj der understøtter nogle af de behandlede metoder;
designe og motivere en sekvens af eksperimenter som benytter det konstruerede værktøj og fortolke de opnåede resultater; og
kommunikere de opnåede resultater på en klar og præcis måde i et standard format for tekniske rapporter.
Kursusindhold:
Kurset består af to dele; begge kan variere fra år til år. Den første del dækker avancerede teknikker til program analyse, som f.eks. abstrakt fortolkning og type og effekt systemer. Den anden del tager udgangspunkt i nye forskningsartikler indenfor et aktuelt forskningsområde.
De studerende forventes at løse en række mindre opgaver og derudover at designe og udvikle et software værktøj som støtter op om en eller flere at de teknikker som introduceres i kurset.
