Sök i programutbudet

Använd sökfunktionen för att leta efter kurser och program i Chalmers utbildningsutbud. Den programplan och utbildningsplan som avser dina studier är i allmänhet från det läsår du började dina studier.

​​​​​​​​​​​​​

Kursplan för

Läsår
TDA567 - Testning, felsökning och verifiering  
Testing, debugging and verification
 
Kursplanen fastställd 2020-02-17 av programansvarig (eller motsvarande)
Ägare: TIDAL
7,5 Högskolepoäng
Betygskala: TH - Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3), Underkänd
Utbildningsnivå: Grundnivå
Huvudområde: Datateknik, Informationsteknik
Institution: 37 - DATA- OCH INFORMATIONSTEKNIK


Undervisningsspråk: Engelska
Anmälningskod/tillfälleskod: 62118
Sökbar för utbytesstudenter: Ja
Blockschema: C

Modul   Poängfördelning   Tentamensdatum
Lp1 Lp2 Lp3 Lp4 Sommarkurs Ej Lp
0114 Laboration 2,5 hp Betygskala: UG   2,5 hp    
0214 Tentamen 5,0 hp Betygskala: TH   5,0 hp   12 Jan 2021 fm J   09 Apr 2021 em J,  Kontakta examinator

I program

TKITE INFORMATIONSTEKNIK, CIVILINGENJÖR, Årskurs 2 (valbar)
TKITE INFORMATIONSTEKNIK, CIVILINGENJÖR, Årskurs 3 (valbar)
TIDAL DATATEKNIK, HÖGSKOLEINGENJÖR - Allmän, Årskurs 3 (obligatoriskt valbar)
MPSYS SYSTEMTEKNIK, REGLERTEKNIK OCH MEKATRONIK, MASTERPROGRAM, Årskurs 1 (valbar)

Examinator:

Moa Johansson

  Gå till kurshemsida


Behörighet

Grundläggande behörighet för grundnivå
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Särskild behörighet

Samma behörighet som det kursägande programmet.
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Kursspecifika förkunskaper

För denna kurs krävs att studenterna har genomgått
  • Minst ett års utbildning på något program med inriktning Datavetenskap, Software Engineering, Datateknik eller liknande.
  • En kurs i diskret matematik (t.ex. TMV200)
  • En kurs i objektorienterad programering (t.ex. TDA545)

Syfte




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.



Lärandemål (efter fullgjord kurs ska studenten kunna)

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ärdighet 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.

Innehåll

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.

Organisation

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

Litteratur

Slides från föreläsningar distribueras via kurshemsidan. Litteraturlista finns på kurshemsidan. 

Examination inklusive obligatoriska moment

Kursen examineras genom en individuell skriftlig salstentamen 5hp i slutet av kursen och lobarationsuppgifter (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.

För godkänt betyg för kursen krävs godkänd betyg på både laboratoriearbetet och skriftlig saltenta.
Förutsatt att studenten klarar kursen bestäms slutbetyget på kursen av betyget på den skriftliga saltentan.




Sidansvarig Publicerad: on 24 jan 2018.