Testning av parallell programvara
Kursplan, Avancerad nivå, 1DL570
- Kod
- 1DL570
- Utbildningsnivå
- Avancerad nivå
- Huvudområde(n) med fördjupning
- Datavetenskap A1F, Teknik A1F
- Betygsskala
- Underkänd (U), godkänd (3), icke utan beröm godkänd (4), med beröm godkänd (5)
- Fastställd av
- Teknisk-naturvetenskapliga fakultetsnämnden, 30 augusti 2018
- Ansvarig institution
- Institutionen för informationsteknologi
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.
Litteraturlista
Litteraturlista saknas.