Validering och verifiering av mjukvara
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.
Tillfällen för denna kurs
Hösttermin 2025
-
Omfattning
7.5 hp
Tid
2025-11-10 - 2026-01-18 (deltid 50%)
Utbildningsnivå
Avancerad nivå
Kurstyp
Fristående kurs
Anmälningskod
MDU-24029
Särskild behörighet
Minst 120 hp varav minst 60 hp datavetenskap vari ingår minst 7,5 hp i grundläggande programvaruteknik eller motsvarande. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från kravet på Svenska B/Svenska 3.
Urval
Antal högskolepoäng
Frågor kring utbildningen?
Hör av dig till kursansvarig om du har frågor kring kursens innehåll.