Behörighetskrav

120 hp varav 60 hp datavetenskap inklusive Programspråksabstraktioner för parallellprogrammering och Testning och underhållsprogrammering.

Mål

Efter godkänd kurs ska studenten kunna

• förklara och identifiera vanliga funktions- och prestandaproblem i parallella program,
• använda tekniker för att testa parallella program, både statiskt och dynamiskt, med avseende på olika korrekthetsegenskaper,
• använda verktyg för att testa och felsöka parallella program,
• felsöka samt lokalisera flaskhalsar i program,
• använda metoder och strategier för mjukvarutestning för att funktionstesta alla relevanta delar av ett program.

Innehåll

Introduktion till fel i som förekommer i parallella program och deras egenskaper. Tekniker för att upptäcka parallellismfel t.ex. statisk analys, systematisk testning, automatisk verifiering. Verktyg för att upptäcka parallellismfel. Tillämpa verktyg och tekniker på realistiska program.

Undervisning

Föreläsningar, laborationer, projekt.

Examination

Muntlig och skriftlig redovisning av uppgifter samt deltagande och muntlig presentation av ett projekt.