Testning, felsökning & verifiering

Kursen är obligatorisk i Datavetenskap kandidatprogram (N1COS).

Kursen kan ingå i följande program: 1) , 2)

1. Computer Science, masterprogram (N2COS)
2. Software Engineering and Management, masterprogram (N2SOF)
3. Applied Data Science, masterprogram (N2ADS)

Kursen ges även som fristående kurs vid Göteborgs Universitet.

För att vara behörig till kursen ska studenten ha avklarat minst 45 hp av en utbildning som syftar till en kandiadatexamen inom Datavetenskap, Software Engineering, eller liknande. Inom dessa 45 hp ska studenten ha avklarat:

• En 7.5 hp kurs i diskret matematik (t.ex. DIT980)
• En 7.5 hp kurs i imperativ/objektorienterad programmering (t.ex. DIT012 eller DIT953)

Följande kunskapsnivå i Engelska krävs: Engelska 6/Engelska nivå 2 eller motsvarande från ett erkänt internationellt test, t.ex. TOEFL, IELTS.

Kursens huvudsyfte är att förse studenten med grundläggande förståelse för tekniker för att hantera fel i datorprogram. Återkommande teman är a) att identifiera mjukvarufel, b) analys av dessa, samt c) att avlägsna fel. Kursen ger även förståelse för hur man systematiskt går tillväga för att försäkra sig om att en programvaruenhet verkligen gör det den ska.

Kursen täcker formella och informella metoder, testning (terminologi, täckningsgrad, enhetstest, ramverk för enhetstester), felsökning (kontroll, arbetsflöde, lokalisering, verktyg), formell specifikation (pre-/postconditions, invarianter), formell verifiering (logik, verktyg). Kursen berör imperativa programmeringsspråk generellt, med mer specifikt fokus på objektorienterad programmering.

Efter genomgången kurs ska studenten ha förstått och ha förmåga att använda metoder för testning (att systematiskt påvisa programvarufel), felsökning (processen att isolera och rätta programvarufel), samt verifiering (att formellt resonera om program
för att garantera korrekthet). Samtliga av dessa metoder är beroende av precisa specifikationer för vad programmet ska göra.

Efter genomgången kurs ska studenten kunna:

Kunskap och förståelse

• Beskriva omfattning och begränsningar av både informella och formella tekniker för att upptäcka, analysera och rätta programfel.
• Beskriva grundprinciper för hur man skriver precisa specifikationer för mjukvaruenheter.
• Diskutera grundprinciper inom mjukvaruverifiering.

Färdigheter och förmåga

• Formulera precisa specifikationer för mjukvaruenheter.
• Karakterisera indata för vilka ett program går fel.
• Lokalisera, analysera och fixa programfel.
• Resonera formellt om enkla program för att garantera korrekthet.

Värderingsförmåga och förhållningssätt

• Bedöma olika tekniker för felsökning och felprevention som kan påträffas i ett arbetssammanhang.
• Bidra till utveckling och förbättring av tekniker för felsökning och felprevention i ett givet sammanhang.
• Följa upp och utnyttja konceptuell och teknisk utveckling inom områdena testning, felsökning och verifiering som går bortom de exakta teknikerna som omfattas av kursen.

Kursen omfattar en kombination av föreläsningar, övningstillfällen och
inlämningsuppgifter (labbar).

Undervisningsspråk: engelska

Kursen examineras genom en individuell skriftlig salstentamen 5hp i slutet av kursen och laborationsuppgifter (inlämningsuppgifter) 2.5hp. Inlämningsuppgifterna görs normalt i grupper om 2-3 studenter. Om en inlämningsuppgift inte godkänns på första försöket kan studenten få ett andra försök.

Om en student som har underkänts två gånger på samma examinerande moment önskar byta examinator inför nästa examinationstillfälle ska en sådan begäran bifallas om det inte finns särskilda skäl däremot (6 kap. 22 § HF).

Om en student har fått besked om pedagogiskt stöd från Göteborgs universitet med rekommendation om anpassad examination och/eller anpassad examinationsform kan examinator, i det fall det är förenligt med kursens lärandemål och förutsatt att inte orimliga resurser krävs, besluta att bevilja studenten anpassad examination och/eller anpassad examinationsform.

Om en kurs har avvecklats eller genomgått en större förändring ska studenten erbjudas minst två examinationstillfällen, utöver ordinarie examinationstillfälle. Dessa tillfällen fördelas under en tid av minst ett år, dock som längst två år efter det att kursen avvecklats/förändrats. Vad gäller praktik och verksamhetsförlagd utbildning (VFU) gäller motsvarande, men med begränsning till endast ett ytterligare examinationstillfälle.

Om en student har fått besked om att denne uppfyller kraven för att vara student vid Riksidrottsuniversitetet (RIU-student) har examinator rätt att besluta om anpassning vid examination, om detta görs i enlighet med Lokala regler gällande RIU-studenter vid Göteborgs universitet

Delkurser

1. Skriftlig salstentamen, 5 hp
   Betygsskala: Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3) och Underkänd (U)
2. Laboration, 2,5 hp
   Betygsskala: Godkänd (G) och Underkänd (U)

På kursen ges något av betygen Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3) och Underkänd (U).

För att bli godkänd på kursen krävs att båda modulerna är godkända. Betyget för hela kursen avgörs av den skriftliga tentamen.

Kursen utvärderas genom möten, både under och efter kursen, mellan lärare och studentrepresentanter. Ett anonymt skriftligt frågeformulär skickas även ut till studenterna efter kursens slut. Resultaten av utvärderingarna används för att förbättra kursinnehållet och som indikation till vilka delar som skulle kunna läggas till, tas bort, förbättras eller ändras.

Kursen är samläst med Chalmers.

Kursen ersätter kursen DIT083 Testning, felsökning & verifiering, 7,5 hp. Den här kursen kan inte ingå i en examen som innehåller DIT083. Den kan inte heller ingå i en examen som bygger på en annan examen där DIT083 ingår.

Den här kursen kan inte ingå i en examen som innehåller DIT635. Den kan inte heller ingå i en examen som bygger på en annan examen där DIT635 ingår.