DD2459 Programvarutillförlitlighet 7,5 hp

Software Reliability

The subject matter of this course concerns modern and practical techniques for software testing and reliability modeling, suitable for the working software engineer.

Software testing concerns the problem of analyzing and evaluating software products to reach some conclusion about their fitness for use. For safety critical, mission critical and enterprise critical systems development it is nowadays essential to have some form of software quality assurance measures in place within an IT project. Quality assurance measures may involve both managerial and technical procedures. However, the primary focus of this course will be on technical procedures to predict, discover and diagnose errors in software systems.

  • Utbildningsnivå

    Avancerad nivå
  • Huvudområde

    Datalogi och datateknik
  • Betygsskala

    A, B, C, D, E, FX, F

Kurstillfällen/kursomgångar

VT19 sofrel19 för programstuderande

VT19 för Study Abroad Programme (SAP)

  • Perioder

    VT19 P3 (7,5 hp)

  • Anmälningskod

    20025

  • Kursen startar

    2019-01-15

  • Kursen slutar

    2019-03-15

  • Undervisningsspråk

    Engelska

  • Studielokalisering

    KTH Campus

  • Undervisningstid

    Dagtid

  • Undervisningsform

    Normal

  • Antal platser

    Ingen begränsning

Lärandemål

After the course the student shall be able to: 

  • identify the basic activities needed for software testing, including requirements capture, test planning, test case generation, test case execution, fault diagnosis and fault correction,
  • construct requirements models for simple embedded, reactive and object-oriented systems,
  • construct a test suite for a simple requirements model,
  • assess the quality of a test suite according to a variety of coverage models.

Kursens huvudsakliga innehåll

The course will cover the following topics:

  • software testing concepts according to the V-model
  • graphical requirements modeling, including use case modeling
  • logical requirements modeling, including preconditions, postconditions and class invariants
  • graph coverage models
  • logic coverage models
  • input space partitioning
  • syntax based testing
  • reliability models
  • advanced topics such as automated and model based testing.

The theoretical subjects are supported by laboratories that are intended to deepen the student’s understanding of important concepts.

Behörighet

För fristående kursstuderande:

SF1604 Linjär Algebra, SF1625 Envariabelanalys,  DD1337 Programmering, DD1338 Algoritmer och Datastrukturer eller motsvarande kurser.

Rekommenderade förkunskaper

Diskret matematik motsvarande SF1631.

Litteratur

Kurslitteratur meddelas senast 4 veckor innan kursstart på kursens hemsida.

Examination

  • LAB1 - Laborationer, 3,0, betygsskala: P, F
  • TEN1 - Tentamen, 4,5, betygsskala: A, B, C, D, E, FX, F

Ges av

EECS/Datavetenskap

Kontaktperson

Karl Meinke, e-post: karlm@kth.se

Examinator

Karl Meinke <karlm@kth.se>

Versionsinformation

Kursplan gäller från och med VT2019.
Examinationsinformation gäller från och med VT2019.