Software Verification and Validation

Utbildningsfakta

Kod: CDT414

<p>The focus of this course will be on software testing. A variety of test techniques will be covered along with applicability aspects as well as the bindings on software reliability modeling. The course includes Introduction to Software verification and Validation, Software Testing overview and classifications, Functional (black box) testing, Structural (white box) testing, Integration testing, Mutation testing, Model-based testing and Test case generation, Software reliability modeling together with bindings on testing, Overview of testing process, testing tools and automation. The contents will reflect latest research topics as well as industrial practices. Guest lectures by industrial experts will be the highlight of this course. </p>

Behörighet

At least 120 ECTS credits within at least 60 ECTS credits computer science where at least 7,5 ECTS credits in software engineering are included. In addition Swedish course B/Swedish course 3 and English course A/English course 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Software Verification and Validation

  Mälardalen University

  Startdatum: 10 november 2025

  Slutdatum: 18 januari 2026

  Studietakt: 50 %