lu.se

Forskar­utbildnings­kurser

Lunds tekniska högskola | Lunds universitet

Detaljer för kurs EDA045F Programanalys

Utskriftsvänlig visning

Allmänt
  • EDA045F
  • Tillfällig
Kursnamn
  • Programanalys
Kursomfattning
  • 7,5
Undervisningsform
  • Ren forskarutbildningskurs
Administrativ information
  • 7121 (Datavetenskap (LTH))
  • 2018-05-18
  • Professor Thomas Johansson

Aktuell fastställd kursplan

Allmänt
  • Engelska
  • Varannan hösttermin
Syfte
  • Programanalys gör det möjligt för oss att bättre förstå vad mjukvara kan och inte kan göra.
    Tekniken för programanalys kan därmed bidra till mjukvarusäkerhet, programkvalitetskontroll, programförståelse, underhåll och utveckling av programvara samt förbättring av mjukvarans prestanda.
    Syftet med kursen är att ge en detaljerad förståelse för moderna programanalystekniker samt deras styrkor och svagheter när de tillämpas på realistisk mjukvara.
Innehåll
  • Kursens ämnen är: typ och effektsystem, operationssemantik, programberoende analys, dataflödesanalys, begränsningsbaserad analys, profilering och provtagning.
Kunskap och förståelse
  • För godkänd kurs skall doktoranden
  • förstå och visa kunskap om statisk programanalysteknik och deras styrkor och svagheter
    förstå och visa kunskap om dynamiska programanalystekniker, deras styrkor och svagheter samt deras effekt på programkörning
    förstå och kunna uttrycka sig i det formella språk som används i klassen.
Färdighet och förmåga
  • För godkänd kurs skall doktoranden
  • kunna utforma, implementera och validera statiska, dynamiska och kombinerade statiska dynamiska programanalyser för olika uppgifter.
Värderingsförmåga och förhållningssätt
  • För godkänd kurs skall doktoranden
  • visa förmåga att beskriva, förstå och kritiskt utvärdera olika programanalystekniker som tillämpas på olika uppgifter.
Undervisningsformer
  • Föreläsningar
  • Laborationer
  • Litteraturkurs som självstudier
Examinationsformer
  • Skriftlig tentamen
  • Underkänd, godkänd
Behörighetskrav
  • EDAN65 eller liknande kunskap om kompilatorer
Förutsatta förkunskaper
Urvalskriterier
Litteratur
  • Nielson, F., Nielson, H.R. & Hankin, C.: Principles of Program Analysis. Springer, 1999. ISBN 9783540654100.
Övrig information
Kurskod
  • EDA045F
Administrativ information
  • 2018-05-18
  • Professor Thomas Johansson

Alla fastställda kursplaner

1 kursplan.

Gäller från och med Första inlämning Andra inlämning Fastställd
HT 2018 2018‑05‑14 09:26:41 2018‑05‑14 09:41:34 2018‑05‑18

Aktuellt eller kommande publicerat kurstillfälle

Inget matchande kurstillfälle hittades.

Alla publicerade kurstillfällen

Inga matchande kurstillfällen hittades.

0 kurstillfällen.


Utskriftsvänlig visning