Text

Software Verification and Validation

  • Credits 7.5  credits
  • Education level Second cycle
  • Study location Västerås
  • Course code CDT414
  • Main area Computer Science

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.

Occasions for this course

Autumn semester 2024

Questions about the course?

If you have any questions about the course, please contact the Course Coordinator.

Senior Lecturer

Eduard Paul Enoiu

+4621101624

eduard.paul.enoiu@mdu.se