Engelska

Varannan hösttermin

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.

Kursens ämnen är: typ och effektsystem, operationssemantik, programberoende analys, dataflödesanalys, begränsningsbaserad analys, profilering och provtagning.

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.

kunna utforma, implementera och validera statiska, dynamiska och kombinerade statiska dynamiska programanalyser för olika uppgifter.

visa förmåga att beskriva, förstå och kritiskt utvärdera olika programanalystekniker som tillämpas på olika uppgifter.

Föreläsningar

Laborationer

Litteraturkurs som självstudier

Skriftlig tentamen

Underkänd, godkänd

EDAN65 eller liknande kunskap om kompilatorer

Nielson, F., Nielson, H.R. & Hankin, C.: Principles of Program Analysis. Springer, 1999. ISBN 9783540654100.

EDA045F

 -05-18

Professor Thomas Johansson