English | Log ind

02242 Programanalyse

2026/2027

Kursusinformation
Program Analysis
Engelsk
7,5
Kandidat
Kurset udbydes som enkeltfag
E2A (man 13-17)
Campus Lyngby
Forelæsninger og praktiske opgaver.
13-uger
E2A, Grundet antallet af studerende kan ekstra eksamensdage være nødvendige.
Mundtlig eksamen og bedømmelse af rapport(er)
En skriftlig artikel udarbejdet i en gruppe danner grundlag for en fælles mundtlig eksamen og bedømmes med én samlet karakter. I løbet af kurset skal de studerende gennemføre flere delprøver med bestået/ikke-bestået i form af hjemmeopgaver. Alle disse skal bestås for at kunne gå til den afsluttende eksamen.
Alle hjælpemidler - med adgang til internettet
7-trins skala , ekstern censur
02141 , De studerende forventes af have kendskab til regulære og kontekst-frie sprog såvel som semantik; denne baggrund kan opnås i kurset 02141. De studerende skal beherske mindst et programmeringssprog (Undervisningen gør brug af Python) og være i stand til at udnytte de relevante data strukturer.
Christian Gram Kalhauge , Lyngby Campus, Bygning 321 , chrg@dtu.dk
Alberto Lluch Lafuente , Lyngby Campus, Bygning 321, Tlf. (+45) 4525 3736 , albl@dtu.dk
01 Institut for Matematik og Computer Science
https://courses.compute.dtu.dk/02242
I studieplanlæggeren
Overordnede kursusmål
De studerende vil automatisk kunne udlede fakta fra programmer vha. forskellige programanalyser.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • forklare begreberne sundhed og fuldstændighed samt begrænsningerne af programanalyse;
  • forklare fordelene og ulemperne ved syntaktiske, semantiske, dynamiske og statiske analyser;
  • designe en analyse til at løse et specifikt problem;
  • formulere de teoretiske garantier samt begrænsninger af analysen;
  • argumentere for fremgangsmåden i et projektoplæg;
  • implementere en analyse for en del af et rigtig programmeringssprog;
  • designe og motivere en sekvens af eksperimenter som benytter det konstruerede værktøj og kunne fortolke de opnåede resultater;
  • kommunikere de opnåede resultater på en klar og præcis måde i et artikel format; og
  • opnå ovennævnte resultater som del af et gruppearbejde, på en sådan måde at de individuelle bidrag kan identificeres.
Kursusindhold
I dette kursus vil de studerende blive fortrolig med forskellige måder at udlede fakta fra programmer, vha. både dynamiske og statiske analyser. Kurset vil fokusere på analyser for JVM. Den teoretiske del af kurset vil blive dækket i den første halvdel af kurset; efter hvilket de studerende skal skrive et oplæg til et gruppeprojekt. Til sidst vil de studerende udføre eksperimenter for at verificer deres ideer. Dette skrives i en artikel, der skal præsenteres mundtligt.
Litteraturhenvisninger
Kurset vil gøre brug af relevante artikler og forelæsningsnotater. Materialer vi blive tilgængeligt på DTU Learn.
Sidst opdateret
18. maj, 2026