Programanalys
Program Analysis

EDAP15, 7.5 högskolepoäng, A (Avancerad nivå)

Gäller för: 2024/25
Fakultet: Lunds tekniska högskola
Beslutad av: Programledning C/D
Beslutsdatum: 2024-04-16
Ikraftträdande: 2024-05-08

Allmänna uppgifter

Fördjupning: Avancerad nivå, kurs/er som inte kan klassificeras
Valfri för: D4-pv, E4-pv, F4, F4-pv, Pi4
Undervisningsspråk: Kursen ges på engelska

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.

Mål

Kunskap och förståelse
För godkänd kurs skall studenten

• 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 studenten

• 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 studenten

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

Kursinnehåll

Kursens ämnen är: typsystem, operationssemantik, dataflödesanalys, begränsningsbaserad analys, minnesabstraktion, anropsdiagramanalys, domänspråk för programanalys, profilering och provtagning.

Kursens examination

Betygsskala: TH - (U, 3, 4, 5) - (Underkänd, Tre, Fyra, Fem)
Prestationsbedömning:

För godkänt betyg (3) krävs fullgjorda obligatoriska uppgifter. För högre betyg krävs dessutom en muntlig tentamen. För att få genomföra tentamen (för betyg 4 eller 5) så måste alla kriterier för godkänt vara uppfyllda. Detaljerade föreskrifter angående fullgörande av obligatoriska uppgifter kommer att finnas i kursprogrammet.

Om så krävs för att en student med varaktig funktionsnedsättning ska ges ett likvärdigt examinationsalternativ jämfört med en student utan funktionsnedsättning, så kan examinator efter samråd med universitetets avdelning för pedagogiskt stöd fatta beslut om alternativ examinationsform för berörd student.

Moduler
Kod: 0123. Benämning: Programanalys.
Antal högskolepoäng: 7.5. Betygsskala: TH - (U, 3, 4, 5). Prestationsbedömning: För godkänt betyg (3) krävs fullgjorda obligatoriska uppgifter. För högre betyg krävs dessutom en muntlig tentamen. För att få genomföra tentamen (för betyg 4 eller 5) så måste alla kriterier för godkänt vara uppfyllda.

Antagningsuppgifter

Förkunskapskrav:

• EDA180 Kompilatorteknik eller EDA230 Optimerande kompilatorer eller EDAF40 Funktionsprogrammering eller EDAN40 Funktionsprogrammering eller EDAN65 Kompilatorer eller EDAN75 Optimerande kompilatorer

Kurslitteratur

• Nielson, Flemming, Nielson, Hanne R., Hankin, Chris: Principles of Program Analysis. Addison Wesley, 1999, ISBN: 978-3-662-03811-6. Valfri kursbok.
• Anders Møller and Michael I. Schwartzbach: Static Program Analysis. Valfri kursbok, online https://cs.au.dk/~amoeller/spa/.

Kontaktinfo

Kursansvarig: Christoph Reichenbach, christoph.reichenbach@cs.lth.se
Hemsida: https://cs.lth.se/edap15