02242 Programanalyse

2024/2025

Kursusinformation
Program Analysis
Engelsk
7,5
Kandidat
Kurset udbydes som enkeltfag
Generel retningskompetence (MSc), Computer Science and Engineering
Retningsspecifikt kursus (MSc), Computer Science and Engineering
Teknologisk specialisering (MSc), Computer Science and Engineering
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 som en del af et gruppearbejde er udgangspunkt for en mundtlig gruppeeksamination.
Skriftlige hjælpemidler er tilladt
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 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;
  • argumenter for fremgangsmåden i et projektoplæg;
  • implementer 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, men de studerende opfordres til at arbejde på det sprog de helst vil. 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
02. maj, 2024