Behörighetskrav

120 hp varav 60 hp datavetenskap inklusive Programspråksabstraktioner för parallellprogrammering och Testning och underhållsprogrammering. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)

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.

Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en enskild student examineras på annat sätt. Särskilda skäl kan t.ex. vara besked om särskilt pedagogiskt stöd från universitetets samordnare för studenter med funktionsnedsättning.