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
TDA566 - Testning, felsökning och verifiering  
 
Kursplanen fastställd 2012-02-23 av programansvarig (eller motsvarande)
Ägare: TKITE
7,5 Poäng
Betygskala: TH - Fem, Fyra, Tre, Underkänt
Utbildningsnivå: Grundnivå
Huvudområde: Datateknik, Informationsteknik
Institution: 37 - DATA- OCH INFORMATIONSTEKNIK


Undervisningsspråk: Engelska
Sökbar för utbytesstudenter
Blockschema: A

Modul   Poängfördelning   Tentamensdatum
Lp1 Lp2 Lp3 Lp4 Sommarkurs Ej Lp
0108 Tentamen 7,5 hp Betygskala: TH   7,5 hp   17 Dec 2012 em M,  02 Apr 2013 fm V
0208 Laboration 0,0 hp Betygskala: UG   0,0 hp    

I program

TKDAT DATATEKNIK, CIVILINGENJÖR, Årskurs 3 (valbar)
TKITE INFORMATIONSTEKNIK, CIVILINGENJÖR, Årskurs 3 (valbar)
TIDAL DATAINGENJÖR, Årskurs 3 (obligatoriskt valbar)
MPSYS SYSTEMS, CONTROL AND MECHATRONICS, MSC PROGR, Årskurs 1 (valbar)

Examinator:

Forskarassistent  Meng Wang
Docent  Wolfgang Ahrendt


Ersätter

TDA565   Program verification

Kursutvärdering:

http://document.chalmers.se/doc/d89e38ed-d480-4f63-a171-8f6b84df47b9


  Gå till kurshemsida

Behörighet:

För kurser inom Chalmers utbildningsprogram gäller samma behörighetskrav som till de(t) program kursen ingår i.

Kursspecifika förkunskaper

The requirement for the course is to have successfully completed one year of an education aiming at a bachelor degree within Computer science or equivalent. Also, basic knowledge of discrete mathematics and object-oriented programming is required.

Syfte

The main aim of the course is to provide a basic understanding of techniques that cope with errors in programs. Reoccurring themes are a) the identification of errors, b) their analysis, and c) their removal. The course also provides an understanding of systematic ways of convince oneself that a program unit really does what it should. After the course, students should have understood - and be able to employ - the methods testing (trying to reveal the presence of errors in a systematic way), debugging (the act of isolating and fixing errors), and verification (reasoning about programs in order to guarantee correctness). All these methods only make sence in the the presence of a specification of what the program is supposed to do. In the course students will also learn how to use precise methods for writing requirements.

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

    * judge the possibilities and limitations of both informal and formal techniques for the discovery, analysis, and resolving of program errors
    * understand and express precise specifications of software units
    * systematically discover inputs on which a program fails
    * locate, analyse, and fix the error which caused the failure
    * reason about simple programs for guaranteeing correctness.

Innehåll

Contrasting formal and informal methods, Testing (terminology, coverage, unit tests, JUnit), Debugging (control, workflow, localisation, tools), Formal specifications (assertions, invariants, JML), Automatic test case generation, Formal verification (Hoare logic, tool support). Throughout, the course is concerned with imperative programs in general, and object-oriented programs in particular.

Organisation

The course is held as a combination of lectures, exercise classes and assignments (labs). Details are available from the course home page.

Litteratur

See the course homepage.

Examination

Written exam, and mandatory hand-ins.


Sidansvarig Publicerad: on 24 jan 2018.